CI: checkout v4

coq-community · Jan 31, 2024 · 5b8f234 · 5b8f234
1 parent d47e472
commit 5b8f234
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -29,7 +29,7 @@ jobs:
           - 'coqorg/coq:dev'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
       - uses: coq-community/docker-coq-action@v1

diff --git a/Makefile b/Makefile
@@ -39,4 +39,4 @@ resources/index.md: meta.yml $(TEMPLATES)/index.md.mustache
 
 publish%:
 	opam publish --packages-directory=released/packages \
-		--repo=coq/opam-coq-archive --tag=v$* -v $* coq-community/coq-ext-lib
+		--repo=coq/opam --tag=v$* -v $* coq-community/coq-ext-lib