Tweak CI

- Use the opam-ci-check from the `live` branch
- Use the `--quiet` flag

Author: shonfeder

.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