Skip to content

Actions: coq/vscoq

Actions

.github/workflows/cd.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cd.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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/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/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.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
v1.9.0+coq8.18 .github/workflows/cd.yml #2: Release v1.9.0+coq8.18 created by maximedenes
August 4, 2023 17:00 1m 35s
August 4, 2023 17:00 1m 35s
.github/workflows/cd.yml .github/workflows/cd.yml #1: created by maximedenes
August 4, 2023 16:05 1m 53s
August 4, 2023 16:05 1m 53s