Skip to content

Actions: tiiuae/tii_sel4_build

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
194 workflow runs
194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly build Nightly build #78: Scheduled
August 22, 2023 00:06 4h 4m 22s tii/development
tii/development
August 22, 2023 00:06 4h 4m 22s
Nightly build Nightly build #77: Scheduled
August 21, 2023 00:07 3h 59m 54s tii/development
tii/development
August 21, 2023 00:07 3h 59m 54s
Trigger for source package mirror update for the self-hosted runner Trigger for source package mirror update for the self-hosted runner #18: Scheduled
August 20, 2023 00:14 6m 53s tii/development
tii/development
August 20, 2023 00:14 6m 53s
Nightly build Nightly build #76: Scheduled
August 18, 2023 00:06 4h 4m 0s tii/development
tii/development
August 18, 2023 00:06 4h 4m 0s
Nightly build Nightly build #75: Scheduled
August 17, 2023 00:06 4h 5m 42s tii/development
tii/development
August 17, 2023 00:06 4h 5m 42s
Nightly build Nightly build #74: Scheduled
August 16, 2023 00:06 4h 4m 19s tii/development
tii/development
August 16, 2023 00:06 4h 4m 19s
Nightly build Nightly build #73: Scheduled
August 15, 2023 00:06 4h 3m 46s tii/development
tii/development
August 15, 2023 00:06 4h 3m 46s
Nightly build Nightly build #72: Scheduled
August 14, 2023 00:06 3h 59m 4s tii/development
tii/development
August 14, 2023 00:06 3h 59m 4s
Trigger for source package mirror update for the self-hosted runner Trigger for source package mirror update for the self-hosted runner #17: Scheduled
August 13, 2023 00:14 6m 41s tii/development
tii/development
August 13, 2023 00:14 6m 41s
Nightly build Nightly build #71: Scheduled
August 11, 2023 00:06 4h 2m 35s tii/development
tii/development
August 11, 2023 00:06 4h 2m 35s
Nightly build Nightly build #70: Scheduled
August 10, 2023 00:07 4h 2m 20s tii/development
tii/development
August 10, 2023 00:07 4h 2m 20s
Nightly build Nightly build #69: Scheduled
August 9, 2023 00:07 4h 2m 19s tii/development
tii/development
August 9, 2023 00:07 4h 2m 19s
Nightly build Nightly build #68: Scheduled
August 8, 2023 00:07 4h 2m 18s tii/development
tii/development
August 8, 2023 00:07 4h 2m 18s
Nightly build Nightly build #67: Scheduled
August 7, 2023 00:07 4h 0m 7s tii/development
tii/development
August 7, 2023 00:07 4h 0m 7s
Trigger for source package mirror update for the self-hosted runner Trigger for source package mirror update for the self-hosted runner #16: Scheduled
August 6, 2023 00:15 6m 41s tii/development
tii/development
August 6, 2023 00:15 6m 41s
Nightly build Nightly build #66: Scheduled
August 4, 2023 00:07 4h 3m 23s tii/development
tii/development
August 4, 2023 00:07 4h 3m 23s
Nightly build Nightly build #65: Scheduled
August 3, 2023 00:07 4h 3m 50s tii/development
tii/development
August 3, 2023 00:07 4h 3m 50s
Nightly build Nightly build #64: Scheduled
August 2, 2023 00:07 4h 16m 52s tii/development
tii/development
August 2, 2023 00:07 4h 16m 52s
Nightly build Nightly build #63: Scheduled
August 1, 2023 00:08 4h 4m 40s tii/development
tii/development
August 1, 2023 00:08 4h 4m 40s
Nightly build Nightly build #62: Scheduled
July 31, 2023 00:07 4h 0m 0s tii/development
tii/development
July 31, 2023 00:07 4h 0m 0s
Trigger for source package mirror update for the self-hosted runner Trigger for source package mirror update for the self-hosted runner #15: Scheduled
July 30, 2023 00:17 6m 49s tii/development
tii/development
July 30, 2023 00:17 6m 49s
Nightly build Nightly build #61: Scheduled
July 28, 2023 00:07 4h 1m 57s tii/development
tii/development
July 28, 2023 00:07 4h 1m 57s
Nightly build Nightly build #60: Scheduled
July 27, 2023 00:07 4h 3m 19s tii/development
tii/development
July 27, 2023 00:07 4h 3m 19s
Nightly build Nightly build #59: Scheduled
July 26, 2023 00:07 4h 2m 23s tii/development
tii/development
July 26, 2023 00:07 4h 2m 23s
Nightly build Nightly build #58: Scheduled
July 25, 2023 00:07 4h 2m 15s tii/development
tii/development
July 25, 2023 00:07 4h 2m 15s