Skip to content

Actions: mununki/ppx_spice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ppx_spice publish ppx_spice publish #54: Manually run by mununki
53s main
main
53s
ppx_spice publish ppx_spice publish #53: Manually run by mununki
13m 35s main
main
13m 35s
ppx_spice publish ppx_spice publish #52: Manually run by mununki
15s main
main
15s
Push on main CodeQL #188: by mununki
1m 25s main
main
1m 25s
Push on main CodeQL #187: by mununki
1m 5s main
main
1m 5s
Push on main CodeQL #186: by mununki
1m 3s main
main
1m 3s
Scheduled CodeQL #185: by github-advanced-security bot
1m 0s main
main
1m 0s
Push on main CodeQL #184: by mununki
1m 4s main
main
1m 4s
Push on main CodeQL #183: by mununki
1m 4s main
main
1m 4s
ppx_spice publish ppx_spice publish #51: Manually run by mununki
12m 51s main
main
12m 51s
Push on main CodeQL #182: by mununki
1m 1s main
main
1m 1s
Scheduled CodeQL #181: by github-advanced-security bot
59s main
main
59s
Push on main CodeQL #180: by mununki
1m 6s main
main
1m 6s
Scheduled CodeQL #179: by github-advanced-security bot
1m 6s main
main
1m 6s
Scheduled CodeQL #178: by github-advanced-security bot
1m 3s main
main
1m 3s
Scheduled CodeQL #177: by github-advanced-security bot
1m 8s main
main
1m 8s
Scheduled CodeQL #176: by github-advanced-security bot
1m 3s main
main
1m 3s
Scheduled CodeQL #175: by github-advanced-security bot
1m 4s main
main
1m 4s
ppx_spice publish ppx_spice publish #50: Manually run by mununki
12m 18s main
main
12m 18s
Push on main CodeQL #174: by mununki
1m 2s main
main
1m 2s
ppx_spice publish ppx_spice publish #49: Manually run by mununki
13m 30s main
main
13m 30s
Push on main CodeQL #173: by mununki
1m 11s main
main
1m 11s
Push on main CodeQL #172: by mununki
1m 5s main
main
1m 5s
ppx_spice publish ppx_spice publish #48: Manually run by mununki
33s main
main
33s
Push on main CodeQL #171: by mununki
1m 16s main
main
1m 16s