zapashcanon/prelude
1
0
Fork 2
Code Issues 3 Pull Requests Actions Projects Releases Wiki Activity

make CI more generic
All checks were successful
build / build (push) Successful in 1m7s
Details

Browse Source
This commit is contained in:
zapashcanon 2025-01-20 03:40:16 +01:00
parent d7c361a651
commit 3e29884487
Signed by: zapashcanon
GPG Key ID: 8981C3C62D1D28F1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitea/workflows/build.yaml
View File

@ -32,4 +32,4 @@ jobs:
opam exec -- dune build @fmt || (echo "\n⚠️ please run \`dune fmt\` and try again" && exit 1)
- name: lint-fresh-opam-file
run: |
git diff --exit-code prelude.opam || (echo "⚠️ please run \`dune build\`, commit the changes to the opam file, and then try again" && exit 1)
git diff --exit-code *.opam || (echo "⚠️ please run \`dune build\`, commit the changes to the opam file, and then try again" && exit 1)