Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow run results
5 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/14928 .github/workflows/ci.yml #808: Pull request #681 opened by proux01
October 30, 2023 13:10 1h 6m 48s coq_14928
coq_14928
October 30, 2023 13:10 1h 6m 48s
Merge pull request #680 from SkySkimmer/redbehaviour-pred .github/workflows/ci.yml #807: Commit e2ac4a9 pushed by SkySkimmer
October 26, 2023 20:19 1h 7m 39s coq-master
coq-master
October 26, 2023 20:19 1h 7m 39s
Adapt to coq/coq#18187 (reductionbehaviour is on constant not globref) .github/workflows/ci.yml #806: Pull request #680 opened by SkySkimmer
October 24, 2023 11:55 58m 51s SkySkimmer:redbehaviour-pred
SkySkimmer:redbehaviour-pred
October 24, 2023 11:55 58m 51s
Merge pull request #654 from herbelin/coq-master+adapt-coq-pr18007-ex… .github/workflows/ci.yml #805: Commit d2b3249 pushed by SkySkimmer
October 24, 2023 09:15 1h 6m 6s coq-master
coq-master
October 24, 2023 09:15 1h 6m 6s
Adapt to Coq PR #18007: Proof_using.definition_using takes names of fixpoints being built .github/workflows/ci.yml #774: Pull request #654 opened by herbelin
October 9, 2023 08:22 1h 22m 18s herbelin:coq-master+adapt-coq-pr18007-extra-checks-proof-using
herbelin:coq-master+adapt-coq-pr18007-extra-checks-proof-using
October 9, 2023 08:22 1h 22m 18s