Skip to content

Actions: JasonGross/test-coq-build

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
echo bin/sh Build #8: Commit 88c3feb pushed by JasonGross
March 20, 2023 21:08 11m 15s main
main
March 20, 2023 21:08 11m 15s
Build on push Build #7: Commit 71d1840 pushed by JasonGross
March 20, 2023 20:24 11m 33s main
main
March 20, 2023 20:24 11m 33s
Build Build #6: Manually run by JasonGross
March 20, 2023 20:23 13m 36s main
main
March 20, 2023 20:23 13m 36s
Build Build #5: Manually run by JasonGross
March 20, 2023 15:47 11m 19s main
main
March 20, 2023 15:47 11m 19s
Build (Sys) Build (Sys) #2: Manually run by JasonGross
March 20, 2023 08:20 17m 22s main
main
March 20, 2023 08:20 17m 22s
Build Build #4: Manually run by JasonGross
March 20, 2023 08:17 23m 44s main
main
March 20, 2023 08:17 23m 44s
Build (Sys) Build (Sys) #1: Manually run by JasonGross
March 20, 2023 08:14 3m 48s main
main
March 20, 2023 08:14 3m 48s
Build Build #3: Manually run by JasonGross
March 20, 2023 08:14 2m 5s main
main
March 20, 2023 08:14 2m 5s
Add build Build #2: Commit 63645e4 pushed by JasonGross
March 20, 2023 08:00 Failure main
main
March 20, 2023 08:00 Failure
Add build Build #1: Commit 63645e4 pushed by JasonGross
March 20, 2023 08:00 Failure main
main
March 20, 2023 08:00 Failure