ci: rename the debian workflow, add fedora workflow
All checks were successful
ci/woodpecker/push/debian Pipeline was successful
ci/woodpecker/push/build-nix Pipeline was successful
ci/woodpecker/push/fedora Pipeline was successful

This commit is contained in:
2026-01-14 21:46:42 +03:00
parent 12b347de38
commit aeb8e89526
2 changed files with 15 additions and 1 deletions

12
.woodpecker/debian.yaml Normal file
View File

@@ -0,0 +1,12 @@
when:
event: [push, cron, pull_request, manual]
steps:
- name: Debian
image: debian:13
pull: true
commands:
- apt update && apt full-upgrade
- apt install -y ocaml libfindlib-ocaml-dev ocaml-dune menhir
- dune build
- dune exec ollisp