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 |
|