fatalwarnings job

Author: gares

.github/workflows/ci.yml

@@ -20,13 +20,20 @@ jobs:
           - 'rocq/rocq-prover:dev'
           - 'rocq/rocq-prover:9.0'
           - 'coqorg/coq:8.20'
+        profile:
+          - dev
+        include:
+          - image: 'rocq/rocq-prover:dev'
+            profile: fatalwarnings
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'rocq-elpi.opam'
           custom_image: ${{ matrix.image }}
+          before_script: |
+            if [ "${{ matrix.profile }}" = "fatalwarnings" ]; then sed -i 's/-A/+A/' dune; fi
           after_script: |
             sudo chmod -R a+w .
             make all-examples

dune

@@ -1,7 +1,4 @@
 (env
  (dev
   (flags (:standard -w -9 -w -32 -w -27 -w -6 -w -37 -warn-error -A))
-  (coq (flags -w +elpi.deprecated -w +elpi.implication-precedence -bt)))
- (fatalwarnings
-  (flags (:standard -w -9 -w -32 -w -27 -w -6 -w -37 -warn-error +A))
   (coq (flags -w +elpi.deprecated -w +elpi.implication-precedence -bt))))