|
|
bb5823c775
|
remove tests on main
|
2021-05-03 15:21:20 +02:00 |
|
|
|
c30f17fafb
|
Add bors
|
2021-05-03 12:29:30 +02:00 |
|
|
|
0cc3132f5a
|
Rename master into main in the Github CI
|
2021-03-11 14:44:47 +01:00 |
|
|
|
411a118148
|
Avoid testing on nightly to fix a crate issue
|
2021-03-03 13:57:36 +01:00 |
|
|
|
a55453e634
|
Avoid compiling benchmarks and speedup the CI
|
2020-11-11 11:14:57 +01:00 |
|
|
|
a716ec61b9
|
Remove the fmt and clippy jobs
|
2020-11-03 18:52:45 +01:00 |
|
|
|
3ef031b2fe
|
Update the CI to work on push and PRs
|
2020-11-03 18:25:12 +01:00 |
|
|
|
9047dc8163
|
Add a Github actions workflows
|
2020-11-01 14:47:44 +01:00 |
|
