run-coq-bug-minimizer

A repo for running the minimizer on GH Actions

Name		Name	Last commit message	Last commit date
Latest commit History 278 Commits
.github		.github
.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
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

coq-community/run-coq-bug-minimizer