Skip to content

Actions: green-labs/ppx_spice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on main CodeQL #8: by mununki
March 11, 2024 16:43 1m 11s main
main
March 11, 2024 16:43 1m 11s
Push on main CodeQL #7: by mununki
March 11, 2024 16:41 1m 14s main
main
March 11, 2024 16:41 1m 14s
PR #74 CodeQL #6: by mununki
March 11, 2024 16:40 1m 20s fix-as-number
fix-as-number
March 11, 2024 16:40 1m 20s
PR #74 CodeQL #5: by mununki
March 11, 2024 16:39 1m 23s fix-as-number
fix-as-number
March 11, 2024 16:39 1m 23s
Scheduled CodeQL #4: by github-advanced-security bot
March 10, 2024 04:01 59s main
main
March 10, 2024 04:01 59s
Scheduled CodeQL #3: by github-advanced-security bot
March 3, 2024 04:01 1m 9s main
main
March 3, 2024 04:01 1m 9s
Scheduled CodeQL #2: by github-advanced-security bot
February 25, 2024 04:01 1m 31s main
main
February 25, 2024 04:01 1m 31s
CodeQL Setup CodeQL #1: by imkitae
February 21, 2024 01:44 1m 25s main
main
February 21, 2024 01:44 1m 25s
ppx_spice publish prerelease ppx_spice publish prerelease #23: Manually run by mununki
November 19, 2023 12:27 17m 52s main
main
November 19, 2023 12:27 17m 52s
ppx_spice publish prerelease ppx_spice publish prerelease #22: Manually run by mununki
November 9, 2023 14:44 14m 44s main
main
November 9, 2023 14:44 14m 44s