.github/workflows/publish-server.yml · Workflow runs · coq/vscoq · GitHub

Actions

.github/workflows/publish-server.yml

Actions

Loading...
Loading

publish-server.yml

4 workflow runs

4 workflow runs

.github/workflows/publish-server.yml .github/workflows/publish-server.yml #4: Manually run by rtetley

January 15, 2025 10:37

3m 30s fix-cd-pipeline

fix-cd-pipeline

January 15, 2025 10:37

3m 30s

.github/workflows/publish-server.yml .github/workflows/publish-server.yml #3: Manually run by rtetley

January 15, 2025 10:12

13m 24s main

main

January 15, 2025 10:12

13m 24s

.github/workflows/publish-server.yml .github/workflows/publish-server.yml #2: Manually run by rtetley

January 15, 2025 09:58

6m 56s main

main

January 15, 2025 09:58

6m 56s

.github/workflows/publish-server.yml .github/workflows/publish-server.yml #1: Manually run by rtetley

January 15, 2025 08:11

3m 11s main

main

January 15, 2025 08:11

3m 11s