Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update FAQ multi-core answer CI #323: Commit c3d8a2e pushed by lsf37
August 17, 2023 08:12 39s master
master
August 17, 2023 08:12 39s
Update FAQ multi-core answer CI #322: Pull request #193 synchronize by Ivan-Velickovic
August 17, 2023 00:37 57s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 57s
Update FAQ multi-core answer CI #321: Pull request #193 opened by Ivan-Velickovic
August 17, 2023 00:37 52s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 52s
add Alwin as reviewer CI #320: Commit 4f28c8d pushed by lsf37
August 11, 2023 18:20 33s master
master
August 11, 2023 18:20 33s
add Alwin as reviewer CI #319: Pull request #192 opened by lsf37
August 11, 2023 13:54 57s new-reviewer
new-reviewer
August 11, 2023 13:54 57s
Remove dependency instructions for Ubuntu 18.04 CI #318: Commit 10160ce pushed by Ivan-Velickovic
August 7, 2023 10:11 37s master
master
August 7, 2023 10:11 37s
Remove dependency instructions for Ubuntu 18.04 CI #317: Pull request #191 synchronize by Ivan-Velickovic
July 31, 2023 01:26 58s Ivan-Velickovic:remove_ubuntu_18.04_support
Ivan-Velickovic:remove_ubuntu_18.04_support
July 31, 2023 01:26 58s
Remove dependency instructions for Ubuntu 18.04 CI #316: Pull request #191 opened by Ivan-Velickovic
July 31, 2023 01:25 50s Ivan-Velickovic:remove_ubuntu_18.04_support
Ivan-Velickovic:remove_ubuntu_18.04_support
July 31, 2023 01:25 50s
Make booting instructions more verbose for ZCU102 CI #315: Commit 2dbafbc pushed by Ivan-Velickovic
July 24, 2023 00:40 32s master
master
July 24, 2023 00:40 32s
Fix ZCU102/ZCU106 boot command CI #314: Pull request #189 synchronize by Ivan-Velickovic
July 24, 2023 00:16 52s Ivan-Velickovic:zcu102_fix
Ivan-Velickovic:zcu102_fix
July 24, 2023 00:16 52s
Remove typo 'is allows' CI #313: Commit d16ca63 pushed by lsf37
July 17, 2023 04:30 36s master
master
July 17, 2023 04:30 36s
Removed typo 'is allows' CI #312: Pull request #190 opened by paulhahayes
July 17, 2023 02:09 49s paulhahayes:patch-1
paulhahayes:patch-1
July 17, 2023 02:09 49s