Skip to content

Actions: coq/vscoq

Actions

.github/workflows/cd-opam.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automated submission of OPAM package on release .github/workflows/cd-opam.yml #13: Pull request #562 synchronize by maximedenes
August 8, 2023 15:12 5m 29s release-opam-publish
release-opam-publish
August 8, 2023 15:12 5m 29s
Automated submission of OPAM package on release .github/workflows/cd-opam.yml #12: Pull request #562 synchronize by maximedenes
August 8, 2023 15:03 6m 59s release-opam-publish
release-opam-publish
August 8, 2023 15:03 6m 59s
Automated submission of OPAM package on release .github/workflows/cd-opam.yml #11: Pull request #562 synchronize by maximedenes
August 8, 2023 13:01 7m 2s release-opam-publish
release-opam-publish
August 8, 2023 13:01 7m 2s
Automated submission of OPAM package on release .github/workflows/cd-opam.yml #10: Pull request #562 synchronize by maximedenes
August 8, 2023 12:45 6m 52s release-opam-publish
release-opam-publish
August 8, 2023 12:45 6m 52s
Automated submission of OPAM package on release .github/workflows/cd-opam.yml #9: Pull request #562 synchronize by maximedenes
August 8, 2023 12:31 7m 21s release-opam-publish
release-opam-publish
August 8, 2023 12:31 7m 21s
Automated submission of OPAM package on release .github/workflows/cd-opam.yml #8: Pull request #562 opened by maximedenes
August 8, 2023 12:15 6m 28s release-opam-publish
release-opam-publish
August 8, 2023 12:15 6m 28s
[release] opam via dune-release .github/workflows/cd-opam.yml #7: Pull request #561 synchronize by gares
August 7, 2023 14:36 4m 27s dune-release-ci
dune-release-ci
August 7, 2023 14:36 4m 27s
[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
[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
[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
[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/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/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