coq/dev/ci/docker/bionic_coq, branch master The formal proof system Pin docutils to 0.16. 2021-04-17T15:04:34+00:00 Théo Zimmermann 2021-04-17T15:04:34+00:00 80a1f386030df5ac6e03a834bc2802c4235c04fb Docutils 0.17 creates problem with our Sphinx rtd theme. 
Docutils 0.17 creates problem with our Sphinx rtd theme.
[ci] update elpi to 1.13.1 2021-04-14T07:11:00+00:00 Enrico Tassi 2021-04-14T07:11:00+00:00 acc0ca00d87243edda5737c4c377a0c42b5fe4b0 






[ci] elpi 1.13.0
2021-02-11T08:17:04+00:00

Enrico Tassi

2021-02-11T08:16:21+00:00

5b8df643ed90905618c26cdf0680f7ef2e82ec86












Set the locale in Docker so Python's default output encoding is utf-8
2020-12-26T23:47:48+00:00

Jim Fehrle

2020-12-24T00:38:31+00:00

6e2b31ab0ec22c04f8987b4eb54d6ba7bbdee4c4












[docker] install boost, mpfr, flex, bison, autoconf-archive
2020-11-30T16:12:41+00:00

Enrico Tassi

2020-11-25T10:46:31+00:00

ee9e06df8fb5ae882e0a2da49fdc073256e2fe00












CI: Use hash of dockerfile in CACHEKEY
2020-11-26T14:10:07+00:00

Gaëtan Gilbert

2020-11-26T14:04:30+00:00

ea795d144c59facfcfa1837fdce3ca654b159d58

Checked by the linter so we don't forget to update it.

Also checked by before_script so we don't run jobs for nothing.





Checked by the linter so we don't forget to update it.

Also checked by before_script so we don't run jobs for nothing.







[ci] bump elpi to 1.12.0
2020-11-26T10:26:59+00:00

Enrico Tassi

2020-11-26T09:10:04+00:00

f3f813a11ac70950d2f5938728bbb337d7873b44












[docker] don't install ocamlformat
2020-11-25T14:59:42+00:00

Enrico Tassi

2020-11-24T11:25:21+00:00

e809ef5a4027c03f4193bcf5d98cad9412d717b3












[ci] job for menhir
2020-11-25T14:58:31+00:00

Enrico Tassi

2020-11-24T09:08:05+00:00

94abc3dce396b77e98900e604e3117986dd2ab60












elpi 1.11.4
2020-10-12T09:22:28+00:00

Enrico Tassi

2020-10-12T09:22:28+00:00

ab7b0f26e1742874157b26f1600f2954d3bf44f7