| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-20 | [CI] Deactivate native-compiler in some jobs | Pierre Roux |
| 2019-11-27 | [ci] Split out the dependencies of fiat-crypto | Jason Gross |
| 2019-03-31 | Revert "iconv bedrock2 CI output to UTF-8" | Jason Gross |
| 2019-03-17 | iconv bedrock2 CI output to UTF-8 | Andres Erbsen |
| 2019-02-09 | remove VERBOSE=1, gitlab log shows that `-async-proofs-tac-j 1` was indeed pa... | Samuel Gruetter |
| 2019-02-08 | Workaround for CI not having enough RAM for bedrock2: `-async-proofs-tac-j 1` | Samuel Gruetter |
| 2018-08-31 | Download tarball instead of cloning external projects (when $CI is set). | Théo Zimmermann |
| 2018-06-27 | Add mit-plv/bedrock2-ci to CI | Andres Erbsen |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |