Skip to content

Actions: green-labs/ppx_spice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #75: by github-advanced-security bot
January 5, 2025 04:07 1m 1s main
main
January 5, 2025 04:07 1m 1s
Scheduled CodeQL #74: by github-advanced-security bot
December 29, 2024 04:07 1m 14s main
main
December 29, 2024 04:07 1m 14s
Scheduled CodeQL #73: by github-advanced-security bot
December 22, 2024 04:07 1m 1s main
main
December 22, 2024 04:07 1m 1s
Scheduled CodeQL #72: by github-advanced-security bot
December 15, 2024 04:08 1m 0s main
main
December 15, 2024 04:08 1m 0s
Scheduled CodeQL #71: by github-advanced-security bot
December 8, 2024 04:06 1m 29s main
main
December 8, 2024 04:06 1m 29s
Push on main CodeQL #70: by mununki
December 4, 2024 02:43 1m 34s main
main
December 4, 2024 02:43 1m 34s
Push on main CodeQL #69: by mununki
December 4, 2024 02:42 1m 31s main
main
December 4, 2024 02:42 1m 31s
Push on main CodeQL #68: by mununki
December 4, 2024 02:38 1m 28s main
main
December 4, 2024 02:38 1m 28s
Scheduled CodeQL #67: by github-advanced-security bot
December 1, 2024 04:07 1m 4s main
main
December 1, 2024 04:07 1m 4s
Scheduled CodeQL #66: by github-advanced-security bot
November 24, 2024 04:07 2m 5s main
main
November 24, 2024 04:07 2m 5s
Scheduled CodeQL #65: by github-advanced-security bot
November 19, 2024 08:15 1m 11s main
main
November 19, 2024 08:15 1m 11s
ppx_spice publish ppx_spice publish #37: Manually run by mununki
November 18, 2024 10:27 6m 4s main
main
November 18, 2024 10:27 6m 4s
Push on main CodeQL #64: by mununki
November 18, 2024 10:27 1m 17s main
main
November 18, 2024 10:27 1m 17s
ppx_spice publish ppx_spice publish #36: Manually run by mununki
November 18, 2024 10:12 5m 29s main
main
November 18, 2024 10:12 5m 29s
Push on main CodeQL #63: by mununki
November 18, 2024 10:12 1m 18s main
main
November 18, 2024 10:12 1m 18s
ppx_spice publish ppx_spice publish #35: Manually run by mununki
November 18, 2024 09:50 5m 44s main
main
November 18, 2024 09:50 5m 44s
Push on main CodeQL #62: by mununki
November 18, 2024 09:49 1m 4s main
main
November 18, 2024 09:49 1m 4s
Push on main CodeQL #61: by mununki
November 18, 2024 09:46 1m 9s main
main
November 18, 2024 09:46 1m 9s
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