Skip to content

Actions: seL4/sel4-tutorials

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
22 workflow runs
22 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
Fix small typo in mcs.md PR #213: Pull request #131 opened by vjackson725
4m 59s vjackson725:master
vjackson725:master
4m 59s
Fix race condition in fault-handlers tutorial + minor tweaks/lints PR #212: Pull request #129 synchronize by lsf37
54s lsf37/faulthandlers
lsf37/faulthandlers
54s
Fix race condition in fault-handlers tutorial + minor tweaks/lints PR #211: Pull request #129 synchronize by lsf37
41s lsf37/faulthandlers
lsf37/faulthandlers
41s
capabilities: attempts at slightly clearer prose PR #210: Pull request #127 synchronize by lsf37
50s lsf37/capabilities
lsf37/capabilities
50s
notifications: minor wording tweaks + md lints PR #209: Pull request #128 synchronize by lsf37
55s lsf37/more-notifications
lsf37/more-notifications
55s
notifications: add final task for race-free print PR #208: Pull request #126 synchronize by lsf37
3m 37s lsf37/notification-race
lsf37/notification-race
3m 37s
remove VM appliance PR #207: Pull request #130 opened by lsf37
44s lsf37/vm-appliance
lsf37/vm-appliance
44s
Fix race condition in fault-handlers tutorial + minor tweaks/lints PR #206: Pull request #129 opened by lsf37
44s lsf37/faulthandlers
lsf37/faulthandlers
44s
notifications: minor wording tweaks + md lints PR #205: Pull request #128 opened by lsf37
39s lsf37/more-notifications
lsf37/more-notifications
39s
capabilities: attempts at slightly clearer prose PR #204: Pull request #127 opened by lsf37
45s lsf37/capabilities
lsf37/capabilities
45s
notifications: add final task for race-free print PR #203: Pull request #126 synchronize by lsf37
50s lsf37/notification-race
lsf37/notification-race
50s
notifications: add final task for race-free print PR #202: Pull request #126 opened by lsf37
2m 7s lsf37/notification-race
lsf37/notification-race
2m 7s
notifications: avoid returning after success PR #201: Pull request #124 synchronize by lsf37
54s praneelmalapaka:notifications/avoid-return-after-success
praneelmalapaka:notifications/avoid-return-after-success
54s
notifications: avoid returning after success PR #200: Pull request #124 opened by praneelmalapaka
42s praneelmalapaka:notifications/avoid-return-after-success
praneelmalapaka:notifications/avoid-return-after-success
42s
Document missing tutorial dependencies PR #199: Pull request #122 opened by praneelmalapaka
56s praneelmalapaka:docs/tutorial-missing-deps
praneelmalapaka:docs/tutorial-missing-deps
56s
minor threads tutorial updates PR #198: Pull request #121 opened by lsf37
42s lsf37/threads-udpates
lsf37/threads-udpates
42s
threads: set stack pointer correctly for x86-64 PR #197: Pull request #120 opened by lsf37
49s lsf37/threads-stack
lsf37/threads-stack
49s
Address cmake warnings PR #196: Pull request #119 synchronize by lsf37
41s lsf37/warnings
lsf37/warnings
41s
Address cmake warnings PR #195: Pull request #119 synchronize by lsf37
44s lsf37/warnings
lsf37/warnings
44s
Address cmake warnings PR #194: Pull request #119 opened by lsf37
44s lsf37/warnings
lsf37/warnings
44s
threads: avoid compile error in template PR #193: Pull request #118 opened by lsf37
39s compile-fix
compile-fix
39s
Fix typo in untyped.md, 'intro' -> 'into' PR #192: Pull request #117 opened by daniel-ac-martin
59s daniel-ac-martin:patch-1
daniel-ac-martin:patch-1
59s