CI: checkout v4

Author: Yishuai Li

.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

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