Skip to content

Actions: seL4/sel4-tutorials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
403 workflow runs
403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update Test #882: Repository dispatch triggered by seL4-ci
November 11, 2024 12:25 6m 8s
November 11, 2024 12:25 6m 8s
deps-update Test #881: Repository dispatch triggered by seL4-ci
November 6, 2024 10:02 10m 50s
November 6, 2024 10:02 10m 50s
deps-update Test #880: Repository dispatch triggered by seL4-ci
November 3, 2024 15:10 5m 59s
November 3, 2024 15:10 5m 59s
deps-update Test #879: Repository dispatch triggered by seL4-ci
October 25, 2024 05:24 5m 52s
October 25, 2024 05:24 5m 52s
deps-update Test #878: Repository dispatch triggered by seL4-ci
October 24, 2024 04:34 8m 39s
October 24, 2024 04:34 8m 39s
deps-update Test #877: Repository dispatch triggered by seL4-ci
October 20, 2024 23:36 6m 2s
October 20, 2024 23:36 6m 2s
deps-update Test #876: Repository dispatch triggered by seL4-ci
October 17, 2024 09:01 6m 14s
October 17, 2024 09:01 6m 14s
deps-update Test #875: Repository dispatch triggered by seL4-ci
October 15, 2024 03:29 5m 41s
October 15, 2024 03:29 5m 41s
deps-update Test #874: Repository dispatch triggered by seL4-ci
October 14, 2024 06:45 18m 39s
October 14, 2024 06:45 18m 39s
TUTORIALS: Reorganise tutorials and add inline solutions Test #873: Pull request #106 synchronize by bbrcknl
October 11, 2024 00:37 7m 51s bbrcknl:update_tutorials
bbrcknl:update_tutorials
October 11, 2024 00:37 7m 51s
TUTORIALS: Reorganise tutorials and add inline solutions CI #207: Pull request #106 synchronize by bbrcknl
October 11, 2024 00:37 40m 16s bbrcknl:update_tutorials
bbrcknl:update_tutorials
October 11, 2024 00:37 40m 16s
TUTORIALS: Reorganise tutorials and add inline solutions PR #176: Pull request #106 synchronize by bbrcknl
October 11, 2024 00:37 27s bbrcknl:update_tutorials
bbrcknl:update_tutorials
October 11, 2024 00:37 27s
tools: handle different python sh versions Test #872: Commit f578077 pushed by lsf37
October 7, 2024 21:50 5m 51s master
master
October 7, 2024 21:50 5m 51s
tools: handle different python sh versions CI #206: Commit f578077 pushed by lsf37
October 7, 2024 21:50 5m 7s master
master
October 7, 2024 21:50 5m 7s
Handle different 'sh' versions for the init tool Test #871: Pull request #108 synchronize by TunaCici
October 7, 2024 18:33 5m 14s TunaCici:master
TunaCici:master
October 7, 2024 18:33 5m 14s
Handle different 'sh' versions for the init tool CI #205: Pull request #108 synchronize by TunaCici
October 7, 2024 18:33 6m 6s TunaCici:master
TunaCici:master
October 7, 2024 18:33 6m 6s
Handle different 'sh' versions for the init tool PR #175: Pull request #108 synchronize by TunaCici
October 7, 2024 18:33 30s TunaCici:master
TunaCici:master
October 7, 2024 18:33 30s
deps-update Test #870: Repository dispatch triggered by seL4-ci
October 7, 2024 05:56 7m 45s
October 7, 2024 05:56 7m 45s
deps-update Test #869: Repository dispatch triggered by seL4-ci
October 4, 2024 08:06 5m 54s
October 4, 2024 08:06 5m 54s
Handle different 'sh' versions for the init tool Test #868: Pull request #108 synchronize by TunaCici
October 3, 2024 02:51 5m 12s TunaCici:master
TunaCici:master
October 3, 2024 02:51 5m 12s
Handle different 'sh' versions for the init tool CI #204: Pull request #108 synchronize by TunaCici
October 3, 2024 02:51 15m 48s TunaCici:master
TunaCici:master
October 3, 2024 02:51 15m 48s
Handle different 'sh' versions for the init tool PR #174: Pull request #108 synchronize by TunaCici
October 3, 2024 02:51 27s TunaCici:master
TunaCici:master
October 3, 2024 02:51 27s
Handle different 'sh' versions for the init tool CI #203: Pull request #108 synchronize by TunaCici
October 2, 2024 17:38 3m 33s TunaCici:master
TunaCici:master
October 2, 2024 17:38 3m 33s
Handle different 'sh' versions for the init tool Test #867: Pull request #108 synchronize by TunaCici
October 2, 2024 17:38 5m 15s TunaCici:master
TunaCici:master
October 2, 2024 17:38 5m 15s
Handle different 'sh' versions for the init tool PR #173: Pull request #108 synchronize by TunaCici
October 2, 2024 17:38 26s TunaCici:master
TunaCici:master
October 2, 2024 17:38 26s