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
coq
/
dev
/
ci
/
gitlab-modes
4 files
at
master
Gaëtan Gilbert
·
Fix tag used for docker-boot in untagged-runners mode (ie gitlab.com)
·
2y ago
8b00632b
normal-mode.yml
Tagged runner system
3y ago
protected-mode.yml
Tagged runner system
3y ago
tagged-runners.yml
Use gitlab.inria.fr shared runners for docker boot
2y ago
untagged-runners.yml
Fix tag used for docker-boot in untagged-runners mode (ie gitlab.com)
2y ago
