From 5b8f2341473e44b4451d49485a6c59e1c7b014d4 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Thu, 1 Feb 2024 02:36:22 +0800
Subject: [PATCH] CI: checkout v4

---
 .github/workflows/docker-action.yml | 2 +-
 Makefile                            | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index be5a68c..1eec912 100644
--- 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
index a4dc22d..26b3a8e 100644
--- 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