index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
ci
/
ci-fiat-crypto.sh
Age
Commit message (
Expand
)
Author
2020-04-30
renaming in Makefile.ci and ci scripts to avoid inconsistencies
Olivier Laurent
2020-02-02
[ci] [fiat-crypto] Use the pinned bedrock2
Jason Gross
2019-11-27
[ci] Split out the dependencies of fiat-crypto
Jason Gross
2019-11-27
[ci] Build slightly more in the fiat-crypto target
Jason Gross
2019-06-10
[ci] [fiat-crypto] Enable more targets on Coq CI
Jason Gross
2019-01-16
[ci] Update fiat-crypto to the new pipeline
Jason Gross
2018-08-31
Download tarball instead of cloning external projects (when $CI is set).
Théo Zimmermann
2018-08-28
[ci-fiat-crypto] Build c-files
Jason Gross
2018-08-24
Split up fiat-crypto CI into two targets
Jason Gross
2018-05-25
Use -j 1 for high memory fiat crypto targets
Gaëtan Gilbert
2018-05-22
[ci] Build fiat-crypto targets in sequence
Jason Gross
2018-05-16
[ci] Try to build more of fiat-crypto.
Emilio Jesus Gallego Arias
2018-05-16
[ci] Don't build lite versions of CI developments.
Emilio Jesus Gallego Arias
2018-04-20
[ci] Also make some display targets for fiat-crypto
Jason Gross
2018-04-05
Improve shell scripts
zapashcanon
2017-06-16
Remove -j ${NJOBS} from make invocations in the ci
Jason Gross
2017-06-16
Fix ci-fiat-crypto to have a proper lite target
Jason Gross
2017-04-14
[travis] Use the lite target for fiat-crypto.
Maxime Dénès
2017-03-22
[travis] [8.6.only] Backport latest changes from trunk.
Emilio Jesus Gallego Arias
2017-03-02
[travis] Backport trunk's travis support.
Emilio Jesus Gallego Arias
