Skip to content

Actions: seL4/website

Actions

PR cleanup

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-cleanup.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add signed BM minutes PR cleanup #67: Pull request #417 closed by bbrcknl
November 13, 2024 03:37 27s
November 13, 2024 03:37 27s
change rtx logo PR cleanup #66: Pull request #418 closed by bbrcknl
November 8, 2024 06:47 42s
November 8, 2024 06:47 42s
add slides and videos to summit program PR cleanup #65: Pull request #415 closed by bbrcknl
November 8, 2024 06:36 31s
November 8, 2024 06:36 31s
Add served-by-seL4 footer to mobile pages PR cleanup #64: Pull request #416 closed by lsf37
November 4, 2024 09:07 34s
November 4, 2024 09:07 34s
deps: update deps to pacify dependabot PR cleanup #63: Pull request #413 closed by Indanz
October 30, 2024 10:21 29s
October 30, 2024 10:21 29s
tsc: add meeting minutes from July PR cleanup #62: Pull request #412 closed by lsf37
October 15, 2024 23:30 18s
October 15, 2024 23:30 18s
update summit session details PR cleanup #61: Pull request #414 closed by bbrcknl
October 15, 2024 00:53 21s
October 15, 2024 00:53 21s
make updates to social activities PR cleanup #60: Pull request #411 closed by june-andronick
October 11, 2024 09:19 30s
October 11, 2024 09:19 30s
announcement of summit panel session PR cleanup #59: Pull request #397 closed by bbrcknl
October 10, 2024 23:28 29s
October 10, 2024 23:28 29s
Summit sponsor - Apple PR cleanup #58: Pull request #409 closed by bbrcknl
October 9, 2024 22:57 30s
October 9, 2024 22:57 30s
Details of bushwalk PR cleanup #57: Pull request #410 closed by lsf37
October 4, 2024 06:54 21s
October 4, 2024 06:54 21s
summit 2024: placeholder for gold sponsor talk PR cleanup #56: Pull request #405 closed by bbrcknl
October 2, 2024 07:20 19s
October 2, 2024 07:20 19s
summit silver sponsor PR cleanup #55: Pull request #395 closed by bbrcknl
October 1, 2024 21:58 33s
October 1, 2024 21:58 33s
announce lewis & clark membership PR cleanup #54: Pull request #408 closed by bbrcknl
September 30, 2024 06:58 35s
September 30, 2024 06:58 35s
Sel4 beta PR cleanup #53: Pull request #407 closed by wom-bat
September 25, 2024 21:00 20s
September 25, 2024 21:00 20s
Beta se l4 changes PR cleanup #52: Pull request #399 closed by wom-bat
September 25, 2024 02:17 21s
September 25, 2024 02:17 21s
update summit proofcraft presenter PR cleanup #51: Pull request #404 closed by bbrcknl
September 24, 2024 21:44 21s
September 24, 2024 21:44 21s
Push back training day rego deadline PR cleanup #50: Pull request #406 closed by bbrcknl
September 24, 2024 21:41 29s
September 24, 2024 21:41 29s
remove member logo PR cleanup #49: Pull request #403 closed by bbrcknl
September 22, 2024 22:13 25s
September 22, 2024 22:13 25s
update summit social activities PR cleanup #48: Pull request #401 closed by bbrcknl
September 18, 2024 06:03 23s
September 18, 2024 06:03 23s
updates to summit social activities PR cleanup #47: Pull request #400 closed by bbrcknl
September 15, 2024 21:46 19s
September 15, 2024 21:46 19s
Training day reg date PR cleanup #46: Pull request #398 closed by bbrcknl
September 11, 2024 05:02 32s
September 11, 2024 05:02 32s
summit gold sponsor PR cleanup #45: Pull request #394 closed by bbrcknl
September 6, 2024 08:26 22s
September 6, 2024 08:26 22s
update social activities PR cleanup #44: Pull request #396 closed by bbrcknl
September 5, 2024 22:08 23s
September 5, 2024 22:08 23s
add session chairs PR cleanup #43: Pull request #388 closed by bbrcknl
August 28, 2024 05:41 23s
August 28, 2024 05:41 23s