Skip to content

Actions: asterinas/verus

Actions

Sync Upstream Verus & Dispatch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
upstream-sync.yml
374 workflow runs
374 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
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #175: Scheduled
21s main
main
21s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #174: Scheduled
28s main
main
28s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #173: Manually run by rikosellic
28s main
main
28s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #172: Manually run by Marsman1996
24s main
main
24s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #171: Scheduled
23s main
main
23s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #170: Scheduled
28s main
main
28s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #169: Scheduled
20s main
main
20s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #168: Scheduled
11s main
main
11s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #167: Manually run by rikosellic
22s main
main
22s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #166: Manually run by rikosellic
23s main
main
23s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #165: Scheduled
26s main
main
26s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #164: Scheduled
22s main
main
22s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #163: Scheduled
19s main
main
19s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #162: Scheduled
24s main
main
24s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #161: Scheduled
21s main
main
21s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #160: Scheduled
26s main
main
26s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #159: Manually run by rikosellic
27s main
main
27s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #158: Scheduled
28s main
main
28s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #157: Scheduled
22s main
main
22s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #156: Scheduled
19s main
main
19s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #155: Manually run by rikosellic
24s main
main
24s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #154: Manually run by rikosellic
24s main
main
24s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #153: Scheduled
21s main
main
21s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #152: Scheduled
19s main
main
19s
Sync Upstream Verus & Dispatch Sync Upstream Verus & Dispatch #151: Scheduled
24s main
main
24s