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

fix opam file lint check
All checks were successful
build / build (push) Successful in 10m33s
Details

Browse Source
This commit is contained in:
zapashcanon 2025-01-20 03:21:41 +01:00
parent c5d8eddea2
commit d7c361a651
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 owi.opam || (echo "⚠️ please run \`dune build\`, commit the changes to owi.opam, and then try again" && exit 1)
git diff --exit-code prelude.opam || (echo "⚠️ please run \`dune build\`, commit the changes to the opam file, and then try again" && exit 1)