Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes and improvements to Raspberry Pi 4B documentation CI #350: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 09:28 1m 3s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 09:28 1m 3s
Fixes and improvements to Raspberry Pi 4B documentation CI #349: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 08:22 59s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 08:22 59s
Fixes and improvements to Raspberry Pi 4B documentation CI #348: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 05:03 50s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 05:03 50s
Fixes and improvements to Raspberry Pi 4B documentation CI #347: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 01:35 54s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 54s
Fixes and improvements to Raspberry Pi 4B documentation CI #346: Pull request #203 opened by Ivan-Velickovic
October 18, 2023 01:35 1m 0s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 1m 0s
style: packed structs (#202) CI #345: Commit 7b0cc2c pushed by lsf37
October 18, 2023 00:52 36s master
master
October 18, 2023 00:52 36s
style: packed structs CI #344: Pull request #202 synchronize by lsf37
October 17, 2023 22:49 1m 12s lsf37-patch-1
lsf37-patch-1
October 17, 2023 22:49 1m 12s
style: packed structs CI #343: Pull request #202 opened by lsf37
October 17, 2023 22:47 56s lsf37-patch-1
lsf37-patch-1
October 17, 2023 22:47 56s
Update polarfire.md CI #342: Pull request #201 opened by sand7000
October 2, 2023 18:47 56s sand7000:patch-1
sand7000:patch-1
October 2, 2023 18:47 56s
Add Trustworthy Systems seL4 projects to roadmap CI #341: Commit d4bd9b0 pushed by Ivan-Velickovic
September 19, 2023 19:39 37s master
master
September 19, 2023 19:39 37s
Add Trustworthy Systems seL4 projects to roadmap CI #340: Pull request #200 synchronize by Ivan-Velickovic
September 17, 2023 21:59 1m 0s roadmap_update
roadmap_update
September 17, 2023 21:59 1m 0s
Add Trustworthy Systems seL4 projects to roadmap CI #339: Pull request #200 opened by Ivan-Velickovic
September 14, 2023 10:40 50s roadmap_update
roadmap_update
September 14, 2023 10:40 50s
update project roadmap CI #338: Commit c2d0719 pushed by lsf37
September 14, 2023 09:19 30s master
master
September 14, 2023 09:19 30s
update project roadmap CI #337: Pull request #199 opened by lsf37
September 14, 2023 09:16 56s roadmap-upd
roadmap-upd
September 14, 2023 09:16 56s
update verified platforms; adjust links CI #336: Commit a83ee45 pushed by lsf37
September 14, 2023 08:24 33s master
master
September 14, 2023 08:24 33s
update status of verified configs CI #335: Pull request #198 synchronize by lsf37
September 12, 2023 17:51 57s verfied-configs
verfied-configs
September 12, 2023 17:51 57s
update status of verified configs CI #334: Pull request #198 opened by lsf37
September 11, 2023 16:46 48s verfied-configs
verfied-configs
September 11, 2023 16:46 48s
github: fetch history for page modification dates CI #333: Commit 3a0f883 pushed by lsf37
September 1, 2023 07:41 31s master
master
September 1, 2023 07:41 31s
github: fetch history for page modification dates CI #332: Pull request #197 synchronize by lsf37
September 1, 2023 07:36 59s fix-page-mod
fix-page-mod
September 1, 2023 07:36 59s
roles: update committers list CI #331: Commit 6eb462f pushed by Indanz
August 31, 2023 16:23 49s master
master
August 31, 2023 16:23 49s
github: fetch history for page modification dates CI #330: Pull request #197 opened by lsf37
August 31, 2023 14:22 56s fix-page-mod
fix-page-mod
August 31, 2023 14:22 56s
update committers list CI #329: Pull request #194 synchronize by Indanz
August 28, 2023 20:53 48s indan
indan
August 28, 2023 20:53 48s
Update ZCU102.md CI #328: Commit 3f741e7 pushed by lsf37
August 28, 2023 07:28 30s master
master
August 28, 2023 07:28 30s
Update ZCU102.md CI #327: Pull request #195 opened by michalsimek
August 24, 2023 07:18 55s michalsimek:michalsimek-patch-1
michalsimek:michalsimek-patch-1
August 24, 2023 07:18 55s
update committers list CI #326: Pull request #194 synchronize by lsf37
August 21, 2023 13:36 54s indan
indan
August 21, 2023 13:36 54s
ProTip! You can narrow down the results and go further in time using created:<2023-08-21 or the other filters available.