Skip to content

Actions: fraware/open-verification-kernel

Actions

Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yml
3 workflow runs
3 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
OVK v1.2.1 Publish #3: Release v1.2.1 published by fraware
4m 23s
4m 23s
Publish Publish #2: Manually run by fraware
1m 20s main
main
1m 20s
Publish Publish #1: Manually run by fraware
31s main
main
31s