coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/scripts/ci-common.sh

June 2026

coqbot-app[bot]
Merge PR #22119: git ls-remote --heads instead of --branches
committed
Gaëtan Gilbert
git ls-remote --heads instead of --branches
committed

March 2026

coqbot-app[bot]
Merge PR #21828: git_download ls-remote use --branches
committed
Gaëtan Gilbert
git_download ls-remote use --branches
committed

October 2025

coqbot-app[bot]
Merge PR #21186: Add dev/ci/ci-env.sh which can be sourced to set paths for CI
committed
coqbot-app[bot]
Merge PR #21185: Always set -e in ci-common
committed
Gaëtan Gilbert
ci-env can be invoked from anywhere
committed
Gaëtan Gilbert
Add dev/ci/ci-env.sh which can be sourced to set paths for CI
committed
Gaëtan Gilbert
Always set -e in ci-common
committed

September 2025

coqbot-app[bot]
Merge PR #21125: Remove noisy ls in ci-common
committed
Gaëtan Gilbert
Remove noisy ls in ci-common
committed
coqbot-app[bot]
Merge PR #21124: Helper scripts to update and reset local CI repositories
committed
Pierre-Marie Pédrot
Add a ci-update command.
committed

July 2025

coqbot-app[bot]
Merge PR #20814: ci-common don't use ci_dir
committed

June 2025

Gaëtan Gilbert
ci-common don't use ci_dir
committed

March 2025

coqbot-app[bot]
Merge PR #20314: CI: Use --depth when cloning submodules
committed
Gaëtan Gilbert
CI: Use --depth when cloning submodules
committed

February 2025

coqbot-app[bot]
Merge PR #20268: CI: move scripts to dev/ci/scripts
committed
Gaëtan Gilbert
CI: move scripts to dev/ci/scripts
committed