Skip to content

Actions: seL4/sel4-tutorials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
272 workflow runs
272 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update Test #876: Repository dispatch triggered by seL4-ci
6m 14s
6m 14s
deps-update Test #875: Repository dispatch triggered by seL4-ci
5m 41s
5m 41s
deps-update Test #874: Repository dispatch triggered by seL4-ci
18m 39s
18m 39s
TUTORIALS: Reorganise tutorials and add inline solutions Test #873: Pull request #106 synchronize by bbrcknl
7m 51s bbrcknl:update_tutorials
bbrcknl:update_tutorials
7m 51s
TUTORIALS: Reorganise tutorials and add inline solutions CI #207: Pull request #106 synchronize by bbrcknl
40m 16s bbrcknl:update_tutorials
bbrcknl:update_tutorials
40m 16s
TUTORIALS: Reorganise tutorials and add inline solutions PR #176: Pull request #106 synchronize by bbrcknl
27s bbrcknl:update_tutorials
bbrcknl:update_tutorials
27s
tools: handle different python sh versions Test #872: Commit f578077 pushed by lsf37
5m 51s master
master
5m 51s
tools: handle different python sh versions CI #206: Commit f578077 pushed by lsf37
5m 7s master
master
5m 7s
Handle different 'sh' versions for the init tool Test #871: Pull request #108 synchronize by TunaCici
5m 14s TunaCici:master
TunaCici:master
5m 14s
Handle different 'sh' versions for the init tool CI #205: Pull request #108 synchronize by TunaCici
6m 6s TunaCici:master
TunaCici:master
6m 6s
Handle different 'sh' versions for the init tool PR #175: Pull request #108 synchronize by TunaCici
30s TunaCici:master
TunaCici:master
30s
deps-update Test #870: Repository dispatch triggered by seL4-ci
7m 45s
7m 45s
deps-update Test #869: Repository dispatch triggered by seL4-ci
5m 54s
5m 54s
Handle different 'sh' versions for the init tool Test #868: Pull request #108 synchronize by TunaCici
5m 12s TunaCici:master
TunaCici:master
5m 12s
Handle different 'sh' versions for the init tool CI #204: Pull request #108 synchronize by TunaCici
15m 48s TunaCici:master
TunaCici:master
15m 48s
Handle different 'sh' versions for the init tool PR #174: Pull request #108 synchronize by TunaCici
27s TunaCici:master
TunaCici:master
27s
Handle different 'sh' versions for the init tool CI #203: Pull request #108 synchronize by TunaCici
3m 33s TunaCici:master
TunaCici:master
3m 33s
Handle different 'sh' versions for the init tool Test #867: Pull request #108 synchronize by TunaCici
5m 15s TunaCici:master
TunaCici:master
5m 15s
Handle different 'sh' versions for the init tool PR #173: Pull request #108 synchronize by TunaCici
26s TunaCici:master
TunaCici:master
26s
deps-update Test #861: Repository dispatch triggered by seL4-ci
5m 38s
5m 38s
deps-update Test #860: Repository dispatch triggered by seL4-ci
5m 51s
5m 51s
deps-update Test #859: Repository dispatch triggered by seL4-ci
5m 55s
5m 55s
ProTip! You can narrow down the results and go further in time using created:<2024-09-09 or the other filters available.