coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-11-12	Print failed test suite logs in CI	Gaëtan Gilbert
	in addition to having them as artefacts
2019-02-11	Don't save expected failure logs from opened/ bugs.	Gaëtan Gilbert
	Grepping for "Error!" is how we decide if we exit with failure or not. I don't remember why I used the "==> FAILURE <==" string in the save-logs script but it was an error.
2019-01-22	Remove travis	Gaëtan Gilbert
	The azure OSX job replaces the first travis job, and the second always fails and so is useless.
2018-12-21	Do not exclude "opened" bugs from report	Maxime Dénès

2018-11-16	Print logs in appveyor test suite run	Gaëtan Gilbert
	It seems we forgot to export when moving the script to a separate file.
2018-09-13	Mention PRINT_LOGS=1 when failing test suite	Gaëtan Gilbert
	It seems people don't always look at the test suite readme.
2018-09-13	Move test suite report script to standalone script file	Gaëtan Gilbert
	This allows for nicer formatting without having to deal with Make's semantic whitespace.