Skip to content

Actions: seL4/sel4-tutorials

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
34 workflow runs
34 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update mcs.md CI #264: Commit 9fa3ebe pushed by lsf37
35s master
master
35s
Fix small typo in mcs.md CI #263: Pull request #131 opened by vjackson725
6m 49s vjackson725:master
vjackson725:master
6m 49s
fault-handlers: avoid printing race at the end CI #262: Commit cca18b9 pushed by lsf37
1m 1s master
master
1m 1s
Fix race condition in fault-handlers tutorial + minor tweaks/lints CI #261: Pull request #129 synchronize by lsf37
53s lsf37/faulthandlers
lsf37/faulthandlers
53s
Fix race condition in fault-handlers tutorial + minor tweaks/lints CI #260: Pull request #129 synchronize by lsf37
50s lsf37/faulthandlers
lsf37/faulthandlers
50s
capabilities: attempts at slightly clearer prose CI #259: Commit f48bb34 pushed by lsf37
1m 0s master
master
1m 0s
capabilities: attempts at slightly clearer prose CI #258: Pull request #127 synchronize by lsf37
41s lsf37/capabilities
lsf37/capabilities
41s
notifications: minor wording tweaks + md lints CI #257: Commit 6275de8 pushed by lsf37
46s master
master
46s
notifications: minor wording tweaks + md lints CI #256: Pull request #128 synchronize by lsf37
47s lsf37/more-notifications
lsf37/more-notifications
47s
notifications: add final task for race-free print CI #255: Commit ccdedad pushed by lsf37
42s master
master
42s
notifications: add final task for race-free print CI #254: Pull request #126 synchronize by lsf37
3m 54s lsf37/notification-race
lsf37/notification-race
3m 54s
README: remove link to outdated VM appliance CI #253: Commit 9a18483 pushed by Indanz
38s master
master
38s
remove VM appliance CI #252: Pull request #130 opened by lsf37
50s lsf37/vm-appliance
lsf37/vm-appliance
50s
Fix race condition in fault-handlers tutorial + minor tweaks/lints CI #251: Pull request #129 opened by lsf37
47s lsf37/faulthandlers
lsf37/faulthandlers
47s
notifications: minor wording tweaks + md lints CI #250: Pull request #128 opened by lsf37
40s lsf37/more-notifications
lsf37/more-notifications
40s
capabilities: attempts at slightly clearer prose CI #249: Pull request #127 opened by lsf37
36s lsf37/capabilities
lsf37/capabilities
36s
notifications: add final task for race-free print CI #248: Pull request #126 synchronize by lsf37
48s lsf37/notification-race
lsf37/notification-race
48s
notifications: add final task for race-free print CI #247: Pull request #126 opened by lsf37
1m 12s lsf37/notification-race
lsf37/notification-race
1m 12s
notifications: avoid returning after success CI #246: Commit bdecc77 pushed by lsf37
34s master
master
34s
notifications: avoid returning after success CI #245: Pull request #124 synchronize by lsf37
58s praneelmalapaka:notifications/avoid-return-after-success
praneelmalapaka:notifications/avoid-return-after-success
58s
notifications: avoid returning after success CI #244: Pull request #124 opened by praneelmalapaka
1m 5s praneelmalapaka:notifications/avoid-return-after-success
praneelmalapaka:notifications/avoid-return-after-success
1m 5s
Document missing tutorial dependencies CI #243: Pull request #122 opened by praneelmalapaka
1m 6s praneelmalapaka:docs/tutorial-missing-deps
praneelmalapaka:docs/tutorial-missing-deps
1m 6s
threads: fix minor markdown lints CI #242: Commit 656013e pushed by lsf37
37s master
master
37s
minor threads tutorial updates CI #241: Pull request #121 opened by lsf37
37s lsf37/threads-udpates
lsf37/threads-udpates
37s
threads: set stack pointer correctly for x86-64 CI #240: Commit dd76f3d pushed by lsf37
40s master
master
40s