Merge pull request #8 from ocaml/ci-tweaks

Tweak CI
ocaml · Jan 13, 2025 · a19ff7a · a19ff7a
2 parents 04de824 + 88ff5f5
commit a19ff7a
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -7,9 +7,6 @@ on:
   pull_request:
     paths:
       - '**opam'
-  push:
-    paths:
-      - '**opam'
 
 jobs:
   lint:
@@ -31,13 +28,12 @@ jobs:
           ocaml-compiler: 5
 
       - name: Install opam-ci-check
-        run: opam pin opam-ci-check https://github.com/shonfeder/opam-repo-ci.git#411/archive-lint
+        run: opam pin opam-ci-check https://github.com/ocurrent/opam-repo-ci.git#live
 
       # Get the names of the packages being added to the archive, and feed these
       # to opam-ci-check
       - name: Lint newly archived packages
         run: |
           git diff --name-only origin/main packages \
           | sed 's:.*/\(.*\)/opam:\1:' \
-          | xargs --max-lines=1 --max-procs=4 opam exec -- opam-ci-check lint -r . --checks=archive-repo \
-          | grep "Error in"
+          | xargs --max-lines=1 --max-procs=4 opam exec -- opam-ci-check lint -r . --checks=archive-repo --quiet