Name		Name	Last commit message	Last commit date
Latest commit History 356 Commits
.github		.github
etc		etc
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
coq.json		coq.json
coqbot-ci.sh		coqbot-ci.sh
coqbot-config.sh		coqbot-config.sh
coqbot-request-stamp		coqbot-request-stamp
coqbot-resume-minimization.url		coqbot-resume-minimization.url
coqbot.ci-target		coqbot.ci-target
coqbot.compiler		coqbot.compiler
coqbot.docker-image		coqbot.docker-image
coqbot.extra-args		coqbot.extra-args
coqbot.failing-artifact-urls		coqbot.failing-artifact-urls
coqbot.failing-sha		coqbot.failing-sha
coqbot.issue-number		coqbot.issue-number
coqbot.passing-artifact-urls		coqbot.passing-artifact-urls
coqbot.passing-sha		coqbot.passing-sha
coqbot.sh		coqbot.sh
coqbot.survey-pr-url-parameter		coqbot.survey-pr-url-parameter
coqbot.survey-url		coqbot.survey-url
coqbot.url		coqbot.url
coqchk-as-coqc.sh		coqchk-as-coqc.sh
dummy.opam		dummy.opam
early-feedback.md		early-feedback.md
ensure-sudo.sh		ensure-sudo.sh
feedback.md		feedback.md
github-url.sh		github-url.sh
handle-web-file.sh		handle-web-file.sh
reply-coqbot-error.sh		reply-coqbot-error.sh
reply-coqbot-timeout.sh		reply-coqbot-timeout.sh
reply-coqbot.sh		reply-coqbot.sh
run-script.sh		run-script.sh
run.sh		run.sh
stamp-artifact-url.sh		stamp-artifact-url.sh
timeout-run.sh		timeout-run.sh

Repository files navigation

run-coq-bug-minimizer

A repo for running the minimizer on GH Actions

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]

2 stars

1 watching