Merge PR coq#18486: Update CI branch for coqtail (master -> main)

Reviewed-by: Zimmi48 Co-authored-by: Zimmi48 <[email protected]>
eladrion · Jan 16, 2024 · 968c11b · 968c11b
2 parents 99848b2 + 52784ec
commit 968c11b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
@@ -436,7 +436,7 @@ project sf "https://github.com/DeepSpec/sf" "master"
 ########################################################################
 # Coqtail
 ########################################################################
-project coqtail "https://github.com/whonore/Coqtail" "master"
+project coqtail "https://github.com/whonore/Coqtail" "main"
 # Contact @whonore on github
 
 ########################################################################