index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
ci
/
ci-sf.sh
Age
Commit message (
Expand
)
Author
2020-05-14
[ci] [sf] Fix SF build.
Emilio Jesus Gallego Arias
2020-01-21
[ci] Pin SF until they solve their CI issues.
Emilio Jesus Gallego Arias
2019-12-02
[ci] [sf] Add authentication to artifact download.
Emilio Jesus Gallego Arias
2019-12-02
[CI] Test latest artifacts of SF instead of the stable version
Maxime Dénès
2018-10-14
[ci] [sf] Remove sed hacks from the SF build.
Emilio Jesus Gallego Arias
2018-04-05
Improve shell scripts
zapashcanon
2018-03-29
Remove outdated patch from ci-sf
Jasper Hugunin
2017-12-09
[ci] Download ci-sf archives into the proper CI build dir.
Emilio Jesus Gallego Arias
2017-11-23
Adding ad hoc overlay for sf/vfa.
Hugo Herbelin
2017-09-05
Fix Software Foundations build.
Maxime Dénès
2017-07-04
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-06-16
Remove -j ${NJOBS} from make invocations in the ci
Jason Gross
2017-06-14
[travis] fix Software Foundation (one added Require Extraction)
Pierre Letouzey
2017-03-22
[travis] [8.6.only] Backport latest changes from trunk.
Emilio Jesus Gallego Arias
2017-03-13
[travis] Basic support for overlays.
Emilio Jesus Gallego Arias
2017-03-10
[travis] Change headband for wider compatibility.
Théo Zimmermann
2017-03-02
[travis] Backport trunk's travis support.
Emilio Jesus Gallego Arias
2017-02-07
[travis] Move ci files from `tools` to `dev`.
Maxime Dénès
