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/nix/
shell
January 2025
coqbot-app[bot]
097d5313
Copied
Failed
Copy SHA
Merge PR #20026: Rename Coq -> Rocq in various comments and
doc
doc
Copy SHA
Browse repository
committed
1y ago
Pierre Roux
6925c62b
Copied
Failed
Copy SHA
Rename Coq -> Rocq in various comments and
doc
doc
Copy SHA
Browse repository
committed
1y ago
January 2019
Théo Zimmermann
0817552f
Copied
Failed
Copy SHA
Merge PR #9394: [nix-ci]
Maintenance
Maintenance
Copy SHA
Browse repository
committed
7y ago
Vincent Laporte
dec29949
Copied
Failed
Copy SHA
[nix-CI] Split the build
inputs
inputs
Copy SHA
Browse repository
committed
7y ago
November 2018
Emilio Jesus Gallego Arias
0b816e4d
Copied
Failed
Copy SHA
Merge PR #8978: nix helpers for debugging external projects from CI
Copy SHA
Browse repository
committed
8y ago
Vincent Laporte
7e014333
Copied
Failed
Copy SHA
Helpers for debugging external projects from CI
Copy SHA
Browse repository
committed
8y ago
