coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of .github/workflows/ci-github.yml

October 2026

coqbot-app[bot]
Merge PR #22626: Github CI remove deprecated `dune-cache`
committed
Gaëtan Gilbert
Github CI remove deprecated `dune-cache`
committed

September 2026

coqbot-app[bot]
Merge PR #22479: Get coq-makefile tests to run on windows
committed
Gaëtan Gilbert
Enable coq-makefile tests on windows
committed

August 2026

coqbot-app[bot]
Merge PR #22327: Coqide server renamed to RocqIDE server (coqidetop -> rocqidetop)
committed
Hugo Martel
coqide-server: Renamed to rocqide-server
committed

July 2026

coqbot-app[bot]
Merge PR #22315: Fix Windows CI: work around Cygwin pkgconf 3.0.4-1 personality path bug
committed
Onyeka Obi
Fix Windows CI: work around Cygwin pkgconf 3.0.4-1 personality path bug
committed

June 2026

coqbot-app[bot]
Merge PR #22147: github actions linux job use ocaml 5.4 to avoid warning with 5.5
committed
Gaëtan Gilbert
github actions linux job use ocaml 5.4 to avoid warning with 5.5
committed

December 2025

coqbot-app[bot]
Merge PR #21442: Github actions update apt for linux
committed
Gaëtan Gilbert
Github actions update apt for linux
committed

November 2025

coqbot-app[bot]
Merge PR #21286: Add CI job using latest ocaml version (on github actions linux)
committed
Gaëtan Gilbert
Add CI job using latest ocaml version (on github actions linux)
committed

May 2025

coqbot-app[bot]
Merge PR #20646: Use TIMED=1 when running test suite in windows & macos
committed
Gaëtan Gilbert
Use TIMED=1 when running test suite in windows & macos
committed
coqbot-app[bot]
Merge PR #20638: [ci] [macOS] Use setup-ocaml for common windows / macOS job
committed
Emilio Jesus Gallego Arias
[ci] [github] Rename yml file to match actual contents
committed