index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
ci
/
README-developers.md
Age
Commit message (
Expand
)
Author
2020-11-26
CI: Use hash of dockerfile in CACHEKEY
Gaëtan Gilbert
2020-05-18
Direct URL for triggering a pipeline with SKIP_DOCKER=false.
Théo Zimmermann
2020-05-04
update documentation for overlay building
Olivier Laurent
2020-04-29
correct script name create_overlays.sh
Olivier Laurent
2020-02-01
No spaces with em-dashes.
Théo Zimmermann
2020-01-31
Clarify expectations for overlays in contributing guide and CI doc.
Théo Zimmermann
2019-08-19
Remove links to doc artifacts and replace them with the deployed versions.
Théo Zimmermann
2019-05-21
Fixing typos - Part 1
JPR
2019-02-04
Remove AppVeyor: superseded by Azure.
Théo Zimmermann
2019-01-22
Remove travis
Gaëtan Gilbert
2018-12-21
Move lint job to gitlab
Gaëtan Gilbert
2018-12-17
Set up CI with Azure Pipelines
Gaëtan Gilbert
2018-11-24
Apply suggestions from code review
Théo Zimmermann
2018-11-24
[ci] [doc] Note about `overlay-maintainers` team.
Emilio Jesus Gallego Arias
2018-11-24
[ci] [doc] Note about `create-overlays.sh`
Emilio Jesus Gallego Arias
2018-11-24
[ci] [doc] Split user/developer README, add info about Nix/Docker CI
Emilio Jesus Gallego Arias