From 3e29884487ee082107fe9d09293989f74a1cc761 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Mon, 20 Jan 2025 03:40:16 +0100 Subject: [PATCH] make CI more generic --- .gitea/workflows/build.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml index 626eeee..333ee1c 100644 --- a/.gitea/workflows/build.yaml +++ b/.gitea/workflows/build.yaml @@ -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)