Skip to content

Actions: coq/vscoq

Actions

.github/workflows/publish-extension.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish-extension.yml
1 workflow run result
1 workflow run result

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #1: Manually run by rtetley
October 17, 2023 05:31 1m 24s v2.0.2+coq8.18
v2.0.2+coq8.18
October 17, 2023 05:31 1m 24s