coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/ci-wrapper.sh

January 2026

coqbot-app[bot]
Merge PR #21493: ci-wrapper put log file in _build_ci instead of root dir
committed
Gaëtan Gilbert
ci-wrapper put log file in _build_ci instead of root dir
committed

September 2025

coqbot-app[bot]
Merge PR #21144: CI don't print error summary for coq_tools
committed
Gaëtan Gilbert
CI don't print error summary for coq_tools
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

January 2025

coqbot-app[bot]
Merge PR #20026: Rename Coq -> Rocq in various comments and doc
committed
Pierre Roux
Rename Coq -> Rocq in various comments and doc
committed

December 2024

coqbot-app[bot]
Merge PR #19967: Don't duplicate timing table for ci-stdlib_test
committed
Gaëtan Gilbert
Don't duplicate timing table for ci-stdlib_test
committed

September 2024

coqbot-app[bot]
Merge PR #19577: record exit code in ci-wrapper.sh
committed
Andres Erbsen
record exit code in ci-wrapper.sh
committed

June 2024

coqbot-app[bot]
Merge PR #19142: ci-wrapper: call make-one-time-file directly instead of explicitly using python
committed
coqbot-app[bot]
Merge PR #19143: ci-wrapper: fix OSTYPE = darwin check on systems which include version info
committed
Gaëtan Gilbert
ci-wrapper: fix OSTYPE = darwin check on systems which include version info
committed
Gaëtan Gilbert
ci-wrapper: call make-one-time-file directly instead of explicitly using python
committed

March 2024

coqbot-app[bot]
Merge PR #18835: ci-common: Don't use a pager on long commits
committed
Jason Gross
ci-common: Don't use a pager on long commits
committed

February 2024

coqbot-app[bot]
Merge PR #18348: ci-wrapper: grep for errors at the end
committed

January 2024

coqbot-app[bot]
Merge PR #18476: CI: Support overriding colors even when CI is set
committed
Gaëtan Gilbert
CI: Support overriding colors even when CI is set
committed
coqbot-app[bot]
Merge PR #18466: Compatibility of #18338 with MacOS: BSD style needs a specific call to "script"
committed
Hugo Herbelin
MacOS BSD-style needs a specific call to "script".
committed

December 2023

Gaëtan Gilbert
ci-wrapper: grep for errors at the end in $CI mode
committed
coqbot-app[bot]
Merge PR #18338: ci-wrapper: prevent piping from disabling automatic colors
committed
Gaëtan Gilbert
ci-wrapper: prevent piping from disabling auto colors, enable colors in CI
committed
coqbot-app[bot]
Merge PR #18264: CI: use --real when generating per file timing tables
committed

November 2023

Gaëtan Gilbert
CI: use --real when generating per file timing tables
committed
coqbot-app[bot]
Merge PR #18249: CI: pipe logs for ci-foo to "foo.log" instead of time-of-build.log
committed
Gaëtan Gilbert
CI: pipe logs for ci-foo to "foo.log" instead of time-of-build.log
committed

May 2023

coqbot-app[bot]
Merge PR #17632: CI: produce time log even when failing
committed
Gaëtan Gilbert
CI: produce time log even when failing
committed

August 2021

coqbot-app[bot]
Merge PR #14756: Don't require execute permission on ci-* scripts
committed
Gaëtan Gilbert
Don't require execute permission on ci-* scripts
committed

January 2019

Vincent Laporte
Merge PR #9383: Remove travis
committed
Gaëtan Gilbert
Remove travis
committed

December 2017

Maxime Dénès
Merge PR #6474: Fix CI with parallel make (messed up dependencies)
committed
Gaëtan Gilbert
Fix CI with parallel make (messed up dependencies)
committed
Maxime Dénès
Merge PR #6400: Circle CI
committed
Gaëtan Gilbert
Put bignums, math-classes and corn dependencies in Makefile
committed

September 2017

Maxime Dénès
Merge PR #968: Better error messages on the CI
committed

August 2017

Jason Gross
Don't strip the newline, don't use \r
committed
Jason Gross
Swap order of "aggregating..." message and travis_fold
committed
Jason Gross
Only display travis_fold: on travis
committed
Jason Gross
Move the rest of the ci target to a bash file
committed