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