coq/test-suite/coq-makefile/uninstall2, branch master The formal proof system [CI] Update coq_makefile 2020-11-20T18:08:08+00:00 Pierre Roux 2020-11-13T11:03:19+00:00 146415fb624c182493d46413d738a3c2c3f47e02 






Porting the test-suite to coqpp.
2018-10-19T14:24:46+00:00

Pierre-Marie Pédrot

2018-10-19T14:21:22+00:00

266050f7aaa0ee0b090b30b1acabaccda6919889












Improve shell scripts
2018-04-05T21:05:43+00:00

zapashcanon

2018-02-21T21:42:10+00:00

250502b01340ec6bedace85c6a2d4a4e57a107cf












more verbose logs for coq-makefile
2017-07-20T13:40:48+00:00

Enrico Tassi

2017-07-17T12:03:35+00:00

82b197a87e154d5206d74dfe53f5b5f5215f1a3e












coq-makefile: make test suite detect more errors
2017-07-20T13:40:48+00:00

Enrico Tassi

2017-07-17T08:50:04+00:00

7f7075d10780fe24c97e329868a501c2af422625

Replacing ; with && and enabling bash's pipefail option





Replacing ; with && and enabling bash's pipefail option







Merge PR#689: Changes to make coq-makefile not failing on MacOS X.
2017-05-28T19:47:39+00:00

Maxime Dénès

2017-05-28T19:47:39+00:00

fe62902764cc52daa985ad03e6f7ac0f8f1c2c4c












Fix test-suite/coq-makefile on NixOS.
2017-05-27T00:58:54+00:00

Théo Zimmermann

2017-05-27T00:58:04+00:00

79719230dfafd1969262112ddea346f72cc19335












Changes to make coq-makefile not failing on MacOS X.
2017-05-26T20:22:55+00:00

Hugo Herbelin

2017-05-26T20:20:31+00:00

0730de7d9b6e7fbf6d6b5c738e94eaf64045938f

There is still however a failure with "rmdir --ignore-fail-on-non-empty".





There is still however a failure with "rmdir --ignore-fail-on-non-empty".







test suite for coq_makefile2
2017-05-23T08:48:28+00:00

Enrico Tassi

2017-01-23T16:32:58+00:00

352c23666babc7dd8f0136b02d9ef1893f9bde5c