dev/tools · coq · Tangled

forked from coq/coq

coq dev tools

20 files

Gaëtan Gilbert · update coqdev.el refman error regex · 3w ago

[dev/tools] Fix #12314: do not die silently if branch has no remote.

Also show unchanged headers.

check-cachekey.sh

Linter: also print errors bold

check-eof-newline.sh

Linter: also print errors bold

check-overlays.sh

Linter: also print errors bold

cleanup-artifacts.sh

CI: upload _install_ci instead of _build_ci

update coqdev.el refman error regex

create_overlays.sh

create_overlays fail if called on master branch

deprecate_file.sh

Rename Coq -> Rocq in various comments and doc

generate-release-changelog.sh

Update various URLs after the renaming

list-contributors.sh

Which prints an error to stdout whereas command doesn't

list-potential-artifacts.sh

CI: upload _install_ci instead of _build_ci

make_git_revision.sh

Use command -v instead of which in make_git_revision

make-changelog.sh

feat: add non-interactive CLI mode to make-changelog.sh

critical-bugs to markdown

merge-pr multi merge check only on master

Update pin-ci script

pipeline-stats.py

CI: add job printing stats about the current pipeline

Less noisy "git commit" messages from pre-commit hook

Make with-jobs work on OS X, where nproc is unavailable