|
|
c9adf12e72
|
reduce impure tests to just instantiate the template
checks-impure / test (pull_request) Successful in 4s
checks / test (pull_request) Successful in 54s
|
2023-08-27 10:11:45 +02:00 |
|
|
|
4cc40865f5
|
rename checks-integration -> checks-impure
checks / test (pull_request) Successful in 1m3s
checks-integration / test (pull_request) Successful in 4s
I think we should not use this for all integration tests
|
2023-08-27 10:00:22 +02:00 |
|
|
|
7928e953fa
|
checks-integration: init
checks-integration / test (pull_request) Successful in 7s
checks / test (pull_request) Successful in 1m6s
|
2023-08-27 00:24:19 +02:00 |
|
|
|
4b2c1772d0
|
add ci script to parallize evaluation
build / test (pull_request) Successful in 28s
|
2023-08-24 15:00:21 +02:00 |
|
|
|
fbd1c3cff4
|
ci: actually check pull_request merge instead of push
build / test (pull_request) Successful in 22s
|
2023-08-08 13:53:08 +02:00 |
|
|
|
5fb266a2f6
|
update-flake: remove workflow
build / test (push) Successful in 10s
|
2023-07-26 15:56:38 +02:00 |
|
|
|
f84a7c6a65
|
Merge pull request 'Update Flake' (#33) from update-flake into main
build / test (push) Successful in 9s
|
2023-07-26 12:55:18 +00:00 |
|
|
|
62ae99ecb6
|
Merge pull request 'Update Flake' (#32) from update-flake into main
build / test (push) Successful in 9s
|
2023-07-26 12:51:11 +00:00 |
|
|
|
0b027df015
|
ci: keep build going after first failure
|
2023-07-25 18:55:31 +02:00 |
|
|
|
d2d0d39e41
|
add tests
|
2023-07-21 13:34:40 +02:00 |
|
