blah

imdea-software · Sep 27, 2024 · d725c09 · d725c09
1 parent 9a80b15
commit d725c09
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -24,7 +24,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-htt-examples.opam'
+          opam_file: 'coq-htt.opam'
           custom_image: ${{ matrix.image }}
 
 

diff --git a/coq-htt.opam b/coq-htt.opam
@@ -1,5 +1,4 @@
 # This file was generated from `meta.yml`, please do not edit manually.
-
 opam-version: "2.0"
 maintainer: "[email protected]"
 version: "dev"

diff --git a/templates-extra/docker-action.yml.mustache b/templates-extra/docker-action.yml.mustache
@@ -32,7 +32,7 @@ jobs:
 {{/ submodule }}
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-htt-examples.opam'
+          opam_file: 'coq-htt.opam'
 {{! Change delimiters to avoid the next line being parsed as mustache syntax. }}
 {{=<% %>=}}
           custom_image: ${{ matrix.image }}