Skip to content

Actions: green-labs/ppx_spice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #83 CodeQL #60: by mununki
November 18, 2024 09:46 1m 10s refs/pull/83/head
refs/pull/83/head
November 18, 2024 09:46 1m 10s
PR #83 CodeQL #59: by mununki
November 18, 2024 09:45 1m 14s refs/pull/83/head
refs/pull/83/head
November 18, 2024 09:45 1m 14s
Push on main CodeQL #58: by mununki
November 18, 2024 09:29 1m 7s main
main
November 18, 2024 09:29 1m 7s
Push on main CodeQL #57: by github-advanced-security bot
November 18, 2024 09:21 1m 27s main
main
November 18, 2024 09:21 1m 27s
PR #82 CodeQL #56: by mununki
November 18, 2024 09:15 1m 10s refs/pull/82/head
refs/pull/82/head
November 18, 2024 09:15 1m 10s
PR #82 CodeQL #55: by mununki
November 18, 2024 08:21 1m 17s refs/pull/82/head
refs/pull/82/head
November 18, 2024 08:21 1m 17s
PR #82 CodeQL #54: by mununki
November 18, 2024 08:17 1m 19s refs/pull/82/head
refs/pull/82/head
November 18, 2024 08:17 1m 19s
PR #82 CodeQL #53: by mununki
November 18, 2024 08:15 1m 6s refs/pull/82/head
refs/pull/82/head
November 18, 2024 08:15 1m 6s
PR #82 CodeQL #52: by mununki
November 18, 2024 08:07 1m 11s refs/pull/82/head
refs/pull/82/head
November 18, 2024 08:07 1m 11s
Scheduled CodeQL #51: by github-advanced-security bot
November 10, 2024 04:07 1m 29s main
main
November 10, 2024 04:07 1m 29s
Scheduled CodeQL #50: by github-advanced-security bot
November 3, 2024 04:06 1m 28s main
main
November 3, 2024 04:06 1m 28s
Scheduled CodeQL #49: by github-advanced-security bot
October 27, 2024 04:06 1m 23s main
main
October 27, 2024 04:06 1m 23s
Scheduled CodeQL #48: by github-advanced-security bot
October 20, 2024 04:06 1m 14s main
main
October 20, 2024 04:06 1m 14s
Scheduled CodeQL #47: by github-advanced-security bot
October 13, 2024 04:05 1m 37s main
main
October 13, 2024 04:05 1m 37s
Scheduled CodeQL #46: by github-advanced-security bot
October 6, 2024 11:48 1m 3s main
main
October 6, 2024 11:48 1m 3s
Scheduled CodeQL #45: by github-advanced-security bot
September 29, 2024 04:06 1m 8s main
main
September 29, 2024 04:06 1m 8s
Scheduled CodeQL #44: by github-advanced-security bot
September 22, 2024 04:05 1m 39s main
main
September 22, 2024 04:05 1m 39s
Scheduled CodeQL #43: by github-advanced-security bot
September 15, 2024 04:05 1m 42s main
main
September 15, 2024 04:05 1m 42s
Scheduled CodeQL #42: by github-advanced-security bot
September 8, 2024 04:05 1m 5s main
main
September 8, 2024 04:05 1m 5s
Scheduled CodeQL #41: by github-advanced-security bot
September 1, 2024 04:05 1m 33s main
main
September 1, 2024 04:05 1m 33s
Scheduled CodeQL #40: by github-advanced-security bot
August 25, 2024 04:04 1m 2s main
main
August 25, 2024 04:04 1m 2s
Scheduled CodeQL #39: by github-advanced-security bot
August 18, 2024 04:04 1m 30s main
main
August 18, 2024 04:04 1m 30s
Scheduled CodeQL #38: by github-advanced-security bot
August 11, 2024 04:04 1m 12s main
main
August 11, 2024 04:04 1m 12s
ppx_spice publish ppx_spice publish #34: Manually run by mununki
August 7, 2024 06:09 5m 56s main
main
August 7, 2024 06:09 5m 56s
Push on main CodeQL #37: by mununki
August 7, 2024 06:09 1m 27s main
main
August 7, 2024 06:09 1m 27s