wip, debug CI

hacspec · Jun 3, 2024 · 0333620 · 0333620
1 parent 6a872f4
commit 0333620
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/test_installs.yml b/.github/workflows/test_installs.yml
@@ -15,14 +15,14 @@ jobs:
     - uses: actions/checkout@v3
     - run: docker build -f .docker/Dockerfile . -t hax
   setup_sh:
-    if: ${{ github.event_name == 'workflow_dispatch'  || github.event_name == 'merge_group'   }}
+    # if: ${{ github.event_name == 'workflow_dispatch'  || github.event_name == 'merge_group'   }}
     strategy:
       matrix:
         os:
           - ubuntu-latest
-          - ubuntu-20.04
-          - macos-latest
-          - macos-11
+          # - ubuntu-20.04
+          # - macos-latest
+          # - macos-11
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v3
@@ -37,6 +37,8 @@ jobs:
     - name: Run `setup.sh`
       run: |
         export OPAMERRLOGLEN=0
+        mkdir -p ~/.config/dune
+        echo "(display verbose)" > ~/.config/dune/config
         ./setup.sh
     - run: cargo hax --version
     - name: Test an extraction

diff --git a/engine/bin/dune b/engine/bin/dune
@@ -35,4 +35,3 @@
   (flags
    (:standard -g -warn-error -A -warn-error +8 -w -33))))
 
-(display verbose)
diff --git a/engine/lib/dune b/engine/lib/dune
@@ -75,4 +75,3 @@
   (flags
    (:standard -g -warn-error "+A" -w "-17-30-56-32"))))
 
-(display verbose)
Original file line number	Diff line number	Diff line change
Expand Up		@@ -35,4 +35,3 @@
		(flags
		(:standard -g -warn-error -A -warn-error +8 -w -33))))

		(display verbose)
Original file line number	Diff line number	Diff line change
Expand Up		@@ -75,4 +75,3 @@
		(flags
		(:standard -g -warn-error "+A" -w "-17-30-56-32"))))

		(display verbose)