Sign in
Join now
coq
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from coq/coq
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
dev/ci/scripts/
ci-refman.sh
April 2026
coqbot-app[bot]
10f25a84
Copied
Failed
Copy SHA
Merge PR #21935: Don't call sphinx through dune
rule
rule
Copy SHA
Browse repository
committed
6mo ago
Gaëtan Gilbert
c177643b
Copied
Failed
Copy SHA
Don't call sphinx through dune
rule
rule
Copy SHA
Browse repository
committed
6mo ago
June 2025
coqbot-app[bot]
be266736
Copied
Failed
Copy SHA
Merge PR #20744: coqrst is now
rocqrst
rocqrst
Copy SHA
Browse repository
committed
1y ago
Pierre Rousselin
d989c40b
Copied
Failed
Copy SHA
coqrst is now
rocqrst
rocqrst
Copy SHA
Browse repository
committed
1y ago
February 2025
coqbot-app[bot]
b1c3e5dd
Copied
Failed
Copy SHA
Merge PR #20268: CI: move scripts to
dev/ci/scripts
dev/ci/scripts
Copy SHA
Browse repository
committed
1y ago
Gaëtan Gilbert
52f4c716
Copied
Failed
Copy SHA
CI: move scripts to dev/ci/scripts
Copy SHA
Browse repository
committed
1y ago
