coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-11-26	CI: Use hash of dockerfile in CACHEKEY	Gaëtan Gilbert
	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.
2020-11-24	Fix linter: incorrect commit was picked in CI	Gaëtan Gilbert
	The bot merge was changed some time ago.
2020-09-28	Remove the linter ocamlformat pass.	Pierre-Marie Pédrot

2020-01-22	[lint] Use makefile wrapper instead of calling dune command directly.	Emilio Jesus Gallego Arias
	This is necessary until we get of the voboot step. See https://github.com/coq/coq/pull/11406#issuecomment-577261843 for more details.
2019-12-13	[fmt] [dune] Add ocamlformat configuration.	Emilio Jesus Gallego Arias
	For now we don't enable it in any source file, neither on dune files. `lint-repository` has been updated so it will check `dune build @fmt` returns 0.
2019-02-18	Fix per-commit linting with bot merges	Gaëtan Gilbert
	When the bot auto-merged the linter saw no commits to lint, eg https://gitlab.com/coq/coq/-/jobs/162893603 I'm pushing from a non-current master so we will see if this works.
2018-12-21	Move lint job to gitlab	Gaëtan Gilbert
	This changes the semantics a bit since we don't have TRAVIS_COMMIT_RANGE anymore, instead we do per-commit linting for the commits since the last merge commit.
2018-03-31	Linter: verify overlay extensions.	Gaëtan Gilbert

2018-02-08	Fix redirection to stderr in lint-repository error message.	Gaëtan Gilbert

2018-01-16	Simplify logic and streamline lint-repository.sh	Gaëtan Gilbert
	We inline should-check-whitespace.sh in check-eof-newline.sh simplifying the find invocation.
2018-01-08	Cleanup conditional in lint-repository.sh	Gaëtan Gilbert

2017-12-06	Linter: skip PRs older than the linter.	Gaëtan Gilbert

2017-10-25	Linter: check that files end with newlines.	Gaëtan Gilbert
	We use git check-attr to look at the same files as git diff --check.