Skip to content

Actions: kbertalan/idris2-go

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #139: Scheduled
October 10, 2023 04:07 9m 46s main
main
October 10, 2023 04:07 9m 46s
Build Build #138: Scheduled
October 9, 2023 04:07 7m 22s main
main
October 9, 2023 04:07 7m 22s
Build Build #137: Scheduled
October 8, 2023 04:06 8m 34s main
main
October 8, 2023 04:06 8m 34s
Build Build #136: Scheduled
October 7, 2023 04:06 7m 29s main
main
October 7, 2023 04:06 7m 29s
Build Build #135: Scheduled
October 6, 2023 04:07 8m 41s main
main
October 6, 2023 04:07 8m 41s