Skip to content

Actions: coq/vscoq

Actions

.github/workflows/cd.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cd.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v2.2.1 .github/workflows/cd.yml #31: Release v2.2.1 released by rtetley
September 23, 2024 08:33 7m 24s
September 23, 2024 08:33 7m 24s
v2.2.0 .github/workflows/cd.yml #30: Release v2.2.0 released by rtetley
September 6, 2024 14:39 6m 36s
September 6, 2024 14:39 6m 36s
v2.1.7 .github/workflows/cd.yml #29: Release v2.1.7 released by rtetley
August 6, 2024 13:21 11m 13s
August 6, 2024 13:21 11m 13s
v2.1.5 .github/workflows/cd.yml #28: Release v2.1.5 published by rtetley
July 15, 2024 11:15 15s
July 15, 2024 11:15 15s
v2.1.4 .github/workflows/cd.yml #27: Release v2.1.4 published by rtetley
July 4, 2024 05:26 22m 45s
July 4, 2024 05:26 22m 45s
v2.1.3 .github/workflows/cd.yml #26: Release v2.1.3 published by rtetley
June 14, 2024 13:17 9m 11s
June 14, 2024 13:17 9m 11s
v2.1.2 .github/workflows/cd.yml #25: Release v2.1.2 published by rtetley
February 21, 2024 08:13 8m 8s
February 21, 2024 08:13 8m 8s
v2.1.1+coq8.19 .github/workflows/cd.yml #24: Release v2.1.1+coq8.19 published by rtetley
February 19, 2024 12:18 8m 47s
February 19, 2024 12:18 8m 47s
v2.1.0+coq8.19 .github/workflows/cd.yml #23: Release v2.1.0+coq8.19 published by rtetley
February 12, 2024 12:43 7m 59s
February 12, 2024 12:43 7m 59s
v2.0.3+coq8.18 .github/workflows/cd.yml #22: Release v2.0.3+coq8.18 published by rtetley
December 4, 2023 08:10 9m 59s
December 4, 2023 08:10 9m 59s
v2.0.2+coq8.18 .github/workflows/cd.yml #21: Release v2.0.2+coq8.18 published by rtetley
October 16, 2023 08:15 14m 32s
October 16, 2023 08:15 14m 32s