Skip to content

Actions: coq-community/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
894 workflow runs
894 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove --draft .github/workflows/cd.yml #8: Commit a713758 pushed by gares
August 7, 2023 14:36 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:36 Failure
[release] opam via dune-release .github/workflows/cd-opam.yml #6: Pull request #561 synchronize by gares
August 7, 2023 14:33 4m 48s dune-release-ci
dune-release-ci
August 7, 2023 14:33 4m 48s
wip .github/workflows/ci.yml #608: Commit c18a031 pushed by gares
August 7, 2023 14:33 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:33 Failure
wip .github/workflows/cd.yml #7: Commit c18a031 pushed by gares
August 7, 2023 14:33 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:33 Failure
[release] opam via dune-release .github/workflows/cd-opam.yml #5: Pull request #561 synchronize by gares
August 7, 2023 14:22 4m 34s dune-release-ci
dune-release-ci
August 7, 2023 14:22 4m 34s
wip .github/workflows/cd.yml #6: Commit 4b53c33 pushed by gares
August 7, 2023 14:22 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:22 Failure
wip .github/workflows/ci.yml #607: Commit 4b53c33 pushed by gares
August 7, 2023 14:22 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:22 Failure
[release] opam via dune-release .github/workflows/cd-opam.yml #4: Pull request #561 synchronize by gares
August 7, 2023 14:17 3m 56s dune-release-ci
dune-release-ci
August 7, 2023 14:17 3m 56s
wip .github/workflows/cd.yml #5: Commit eb4a446 pushed by gares
August 7, 2023 14:17 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:17 Failure
wip .github/workflows/ci.yml #606: Commit eb4a446 pushed by gares
August 7, 2023 14:17 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:17 Failure
[release] opam via dune-release .github/workflows/cd-opam.yml #3: Pull request #561 synchronize by gares
August 7, 2023 14:14 2m 8s dune-release-ci
dune-release-ci
August 7, 2023 14:14 2m 8s
wip .github/workflows/ci.yml #605: Commit 1d448eb pushed by gares
August 7, 2023 14:14 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:14 Failure
wip .github/workflows/cd.yml #4: Commit 1d448eb pushed by gares
August 7, 2023 14:14 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:14 Failure
wip .github/workflows/cd-opam.yml #2: Commit 779c93a pushed by gares
August 7, 2023 14:13 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:13 Failure
wip .github/workflows/ci.yml #604: Commit 779c93a pushed by gares
August 7, 2023 14:13 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:13 Failure
wip .github/workflows/cd.yml #3: Commit 779c93a pushed by gares
August 7, 2023 14:13 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:13 Failure
[release] opam via dune-release .github/workflows/ci.yml #603: Pull request #561 opened by gares
August 7, 2023 14:09 59s dune-release-ci
dune-release-ci
August 7, 2023 14:09 59s
wip .github/workflows/cd-opam.yml #1: Commit d8db595 pushed by gares
August 7, 2023 14:09 Failure dune-release-ci
dune-release-ci
August 7, 2023 14:09 Failure
Merge pull request #560 from coq-community/fix-nested-proofs .github/workflows/ci.yml #602: Commit bbebf72 pushed by maximedenes
August 7, 2023 13:12 1h 8m 10s main
main
August 7, 2023 13:12 1h 8m 10s
Do not consider proofs with side effects as opaque .github/workflows/ci.yml #601: Pull request #560 opened by maximedenes
August 7, 2023 11:49 1h 6m 40s fix-nested-proofs
fix-nested-proofs
August 7, 2023 11:49 1h 6m 40s
Merge pull request #559 from coq-community/goal-pp .github/workflows/ci.yml #600: Commit 60230e0 pushed by maximedenes
August 7, 2023 08:16 59m 52s main
main
August 7, 2023 08:16 59m 52s
Syntax highlighting in proofview .github/workflows/ci.yml #599: Pull request #559 synchronize by maximedenes
August 7, 2023 05:45 58m 29s goal-pp
goal-pp
August 7, 2023 05:45 58m 29s
Syntax highlighting in proofview .github/workflows/ci.yml #598: Pull request #559 synchronize by maximedenes
August 7, 2023 05:37 8m 58s goal-pp
goal-pp
August 7, 2023 05:37 8m 58s
Merge pull request #558 from coq-community/package-metadata .github/workflows/ci.yml #597: Commit 7f19d3f pushed by maximedenes
August 6, 2023 11:59 56m 18s main
main
August 6, 2023 11:59 56m 18s
Package metadata .github/workflows/ci.yml #596: Pull request #558 opened by maximedenes
August 6, 2023 09:17 59m 49s package-metadata
package-metadata
August 6, 2023 09:17 59m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-08-06 or the other filters available.