coq/dev/ci, branch master The formal proof system Merge PR #14075: New level of abstraction for streams with (non-canonical) location function 2021-04-23T21:38:26+00:00 Pierre-Marie Pédrot 2021-04-23T21:38:26+00:00 d9e9a63f9f49768eee8b239812365ad1115b964f Reviewed-by: ppedrot 
Reviewed-by: ppedrot
Merge PR #13965: [abbreviation] user syntax to set interp scope of argument 2021-04-23T14:33:27+00:00 Pierre-Marie Pédrot 2021-04-23T14:33:27+00:00 a0c3ebf4a6357a5140b98b4b40c71133c53d802e Ack-by: JasonGross Reviewed-by: herbelin Reviewed-by: jashug Reviewed-by: jfehrle Reviewed-by: ppedrot 
Ack-by: JasonGross
Reviewed-by: herbelin
Reviewed-by: jashug
Reviewed-by: jfehrle
Reviewed-by: ppedrot
Overlay for elpi. 2021-04-23T13:34:29+00:00 Hugo Herbelin 2021-04-20T14:45:17+00:00 4ca8b4aab1a6b4f55aab026e42a530fa125553c0 






Merge PR #14143: Add mczify to CI
2021-04-22T09:44:53+00:00

coqbot-app[bot]

2021-04-22T09:44:53+00:00

28af2cba915c925787c677f9be74fb3db654a653

Reviewed-by: SkySkimmer





Reviewed-by: SkySkimmer







Merge PR #13911: Remove the :> type cast?
2021-04-21T14:58:51+00:00

coqbot-app[bot]

2021-04-21T14:58:51+00:00

f9996cdaf0b6aee12c5b71432b1edb90dffb569a

Reviewed-by: mattam82
Ack-by: Zimmi48





Reviewed-by: mattam82
Ack-by: Zimmi48







Add mczify to CI
2021-04-21T14:35:57+00:00

Kazuhiko Sakaguchi

2021-04-21T14:20:10+00:00

8de017f8a4e561a2833b311b1a6e79514e3e510b












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.







Merge PR #14111: [ci] update elpi to 1.13.1
2021-04-15T07:38:22+00:00

coqbot-app[bot]

2021-04-15T07:38:22+00:00

faafe565b942736acc940c8374914fe0284b0b3d

Reviewed-by: Zimmi48
Ack-by: SkySkimmer





Reviewed-by: Zimmi48
Ack-by: SkySkimmer







Update dev/ci/user-overlays/14111-gares-update-elpi.sh
2021-04-14T17:41:01+00:00

Enrico Tassi

2021-04-14T17:41:01+00:00

3721746580a0d53809d02c5c77580a06ef29ef84

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>




Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>






overlay file
2021-04-14T16:18:43+00:00

Enrico Tassi

2021-04-14T07:59:32+00:00

d8c9c14fa46ea2b492279a8a5916883c476d2176