Jörg Thalheim
|
d8bbfd11e4
|
reduce eval worker
|
2024-03-12 17:34:07 +01:00 |
|
Jörg Thalheim
|
8dcfebd9f9
|
Revert "workaround gitea bug"
This reverts commit 8697d64625.
|
2024-03-12 17:23:12 +01:00 |
|
Jörg Thalheim
|
8697d64625
|
workaround gitea bug
|
2024-03-12 16:10:54 +00:00 |
|
Jörg Thalheim
|
2493eef5f4
|
add lychee link checker
|
2024-02-21 17:18:28 +01:00 |
|
Jörg Thalheim
|
b4c5168855
|
reduce number of eval workers
|
2024-01-04 17:18:10 +01:00 |
|
Qubasa
|
5c08242b7e
|
Removed unused ui-assets workflow file.
|
2023-12-30 23:14:32 +01:00 |
|
Jörg Thalheim
|
8eaeb642d8
|
unpin nix-fast-build
|
2023-09-23 12:27:35 +00:00 |
|
Luis-Hebendanz
|
357d7f3fd5
|
CI: Created separate user for CI
|
2023-09-20 14:51:34 +02:00 |
|
Luis-Hebendanz
|
ec497276bd
|
CI: Created separate user for CI
|
2023-09-20 14:48:16 +02:00 |
|
Luis-Hebendanz
|
08f8815806
|
CI: Added ui-assets workflow.
|
2023-09-19 16:21:53 +02:00 |
|
Jörg Thalheim
|
e753b9a87f
|
try to fix ci by pinning nix-fast-build
|
2023-09-19 13:14:44 +02:00 |
|
Luis-Hebendanz
|
fb583a7b34
|
Removed workflow
|
2023-09-14 13:28:11 +00:00 |
|
Luis-Hebendanz
|
ddc5528e05
|
Fixed push perms error
|
2023-09-14 14:57:41 +02:00 |
|
Luis-Hebendanz
|
bcdee2c2a2
|
Changed to on_push and force
|
2023-09-14 14:46:52 +02:00 |
|
Luis-Hebendanz
|
989f9e20e9
|
Changed to on_push
|
2023-09-14 14:36:18 +02:00 |
|
Luis-Hebendanz
|
e6733bcb6b
|
Added assets CI
|
2023-09-14 14:34:40 +02:00 |
|
Jörg Thalheim
|
a11a62cd4e
|
replace ci script with nix-ci-build
|
2023-09-13 13:09:35 +02:00 |
|
Jörg Thalheim
|
c9adf12e72
|
reduce impure tests to just instantiate the template
|
2023-08-27 10:11:45 +02:00 |
|
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 |
|