|
|
78c2e4c335
|
ci: move nixos build, rename debian build
ci/woodpecker/push/nix Pipeline was successful
ci/woodpecker/push/fedora Pipeline was successful
ci/woodpecker/push/debian Pipeline was successful
ci/woodpecker/cron/fedora Pipeline failed
ci/woodpecker/cron/debian Pipeline was successful
ci/woodpecker/cron/nix Pipeline was successful
|
2026-01-14 21:49:33 +03:00 |
|
|
|
aeb8e89526
|
ci: rename the debian workflow, add fedora workflow
ci/woodpecker/push/debian Pipeline was successful
ci/woodpecker/push/build-nix Pipeline was successful
ci/woodpecker/push/fedora Pipeline was successful
|
2026-01-14 21:46:42 +03:00 |
|
|
|
67bd37eaa2
|
ci: add menhir to the debian build workflow
ci/woodpecker/push/build Pipeline was successful
ci/woodpecker/push/build-nix Pipeline was successful
|
2026-01-14 21:22:25 +03:00 |
|
|
|
5b6ed1beb5
|
ci: fix findlib package name
ci/woodpecker/push/build Pipeline failed
ci/woodpecker/push/build-nix Pipeline was successful
|
2026-01-14 12:46:56 +03:00 |
|
|
|
d0f9483aaa
|
ci: fix build.yaml
ci/woodpecker/push/build Pipeline failed
ci/woodpecker/push/build-nix Pipeline was successful
|
2026-01-14 12:45:18 +03:00 |
|
|
|
e60b447198
|
ci: added workflow for building on debian, moved nix build to another file
ci/woodpecker/push/build-nix Pipeline was successful
|
2026-01-14 12:43:54 +03:00 |
|
|
|
d401548d1d
|
Change the build workflow to run on cron activations as well
ci/woodpecker/push/build Pipeline was successful
ci/woodpecker/cron/build Pipeline was successful
|
2025-12-28 21:32:48 +03:00 |
|
|
|
77213ce492
|
Change build workflow to only run on push and tag events
ci/woodpecker/push/build Pipeline was successful
|
2025-12-28 21:04:46 +03:00 |
|
|
|
5afa613138
|
Change build workflow to also run the binary
|
2025-12-28 21:04:46 +03:00 |
|
|
|
1422f14822
|
Added first build workflow
|
2025-12-28 21:04:46 +03:00 |
|
