Update coq-archlinux.yml

mit-plv · Dec 24, 2023 · ce99b16 · ce99b16
1 parent dcd94e1
commit ce99b16
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/coq-archlinux.yml b/.github/workflows/coq-archlinux.yml
@@ -29,8 +29,6 @@ jobs:
     - uses: actions/checkout@v4
       with:
         submodules: recursive
-    - name: host build params
-      run: etc/ci/describe-system-config.sh
     - name: work around coq issue 15663
       run: |
         ln -s /usr/lib/coq /usr/lib/ocaml/coq