index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
ci
/
ci-basic-overlay.sh
Commit message (
Expand
)
Author
Age
*
Add mit-plv/bedrock2-ci to CI
Andres Erbsen
2018-06-27
*
Reuse CI info to know which version of plugins to build on Windows.
Théo Zimmermann
2018-06-25
*
Update dpdgraph branch name
Gaëtan Gilbert
2018-06-21
*
QuickChick CI
Leonidas Lampropoulos
2018-06-02
*
[ci] Don't build lite versions of CI developments.
Emilio Jesus Gallego Arias
2018-05-16
*
[ci] Add mit-plv/cross-crypto
Jason Gross
2018-05-09
*
[ci]: add pidetop (fix #7336)
Enrico Tassi
2018-05-02
*
updating CI for Mtac2
Beta Ziliani
2018-04-25
*
CI: add fcsl-pcm
Anton Trunov
2018-04-20
*
Update the CI branch for Equations.
Théo Zimmermann
2018-04-13
*
ci: add elpi
Enrico Tassi
2018-02-19
*
Points to Flocq official repository.
Théo Zimmermann
2018-02-05
*
Source basic overlay before user overlays.
Gaëtan Gilbert
2018-01-16
*
[ci] CoLoR has moved to github
Emilio Jesus Gallego Arias
2017-12-07
*
Add Equations to CI
Matthieu Sozeau
2017-11-20
*
Merge PR #6071: [ci] Add Ltac2
Maxime Dénès
2017-11-13
|
\
|
*
[ci] Add Ltac2
Jason Gross
2017-11-04
*
|
[ci] Switch VST back to upstream.
Théo Zimmermann
2017-10-30
|
/
*
[ci] Switch back to upstream version of Math-Classes and Corn.
Théo Zimmermann
2017-10-27
*
Merge PR #6003: Point HoTT back at master, which now supports Coq master
Maxime Dénès
2017-10-25
|
\
|
*
Point HoTT back at master, which now supports Coq master
Jason Gross
2017-10-23
*
|
Switch testing branch back to CompCert upstream.
Théo Zimmermann
2017-10-20
*
|
CI: build lambdaRust (which depends on Iris) rather than just Iris
Ralf Jung
2017-10-19
|
/
*
[ci] Remove temporary bignums overlay.
Théo Zimmermann
2017-10-04
*
Merge PR #914: Making the detyper lazy
Maxime Dénès
2017-09-07
|
\
*
|
Fix Software Foundations build.
Maxime Dénès
2017-09-05
|
*
Making detyping potentially lazy.
Pierre-Marie Pédrot
2017-09-04
|
/
*
Merge PR #782: Update API for fiat
Maxime Dénès
2017-07-28
|
\
*
|
[ci] VST is now built with IGNORECOQVERSION=true.
Théo Zimmermann
2017-07-18
*
|
Revert fiat-crypto overlay
Jason Gross
2017-07-04
*
|
Merge PR#778: Revert "[travis] temporary UniMath overlay"
Maxime Dénès
2017-06-15
|
\
\
|
|
*
Update fiat-parsers overlay
Jason Gross
2017-06-15
|
|
/
|
/
|
*
|
Remove bedrock from test suite.
Maxime Dénès
2017-06-15
*
|
Merge PR#771: [travis overlay] Partially Revert 013c0232953f1f58
Maxime Dénès
2017-06-14
|
\
\
*
|
|
Temporary overlays because fewer plugins are loaded at startup.
Maxime Dénès
2017-06-14
*
|
|
Temporary overlays for bignums.
Maxime Dénès
2017-06-14
|
|
*
Revert "[travis] temporary UniMath overlay"
Théo Zimmermann
2017-06-13
*
|
|
[travis] extra test ci-bignums (+factorize other scripts)
Pierre Letouzey
2017-06-13
|
|
/
|
/
|
*
|
Merge PR#764: Point ci-hott at a newer version of HoTT
Maxime Dénès
2017-06-13
|
\
\
*
\
\
Merge PR#715: Add coq-dpdgraph ci
Maxime Dénès
2017-06-12
|
\
\
\
|
|
|
*
[travis overlay] Partially Revert 013c0232953f1f58
Jason Gross
2017-06-12
|
|
_
|
/
|
/
|
|
*
|
|
Temporary overlay, waiting for upstream PR merges.
Maxime Dénès
2017-06-12
|
|
*
Point ci-hott at a newer version of HoTT
Jason Gross
2017-06-11
|
|
/
|
/
|
|
*
Remove coq-dpdgraph overlay
Jason Gross
2017-06-08
|
*
Add an overlay for coq-dpdgraph for 8.7
Jason Gross
2017-06-02
|
*
Add coq-dpdgraph CI
Jason Gross
2017-06-02
|
/
*
[travis] temporary UniMath overlay
Maxime Dénès
2017-05-27
*
Switch bedrock to mit-plv base
Jason Gross
2017-05-10
*
Add bmsherman/topology to the ci
Jason Gross
2017-05-01
*
Add bedrock targets src and facade
Jason Gross
2017-04-20
[next]