Skip to content

Actions: seL4/docs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
7 workflow run results
7 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update FAQ multi-core answer PR #212: Pull request #193 synchronize by Ivan-Velickovic
August 17, 2023 00:37 37s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 37s
Update FAQ multi-core answer PR #211: Pull request #193 opened by Ivan-Velickovic
August 17, 2023 00:37 42s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 42s
add Alwin as reviewer PR #210: Pull request #192 opened by lsf37
August 11, 2023 13:54 38s new-reviewer
new-reviewer
August 11, 2023 13:54 38s
Remove dependency instructions for Ubuntu 18.04 PR #209: Pull request #191 synchronize by Ivan-Velickovic
July 31, 2023 01:26 48s Ivan-Velickovic:remove_ubuntu_18.04_support
Ivan-Velickovic:remove_ubuntu_18.04_support
July 31, 2023 01:26 48s
Remove dependency instructions for Ubuntu 18.04 PR #208: Pull request #191 opened by Ivan-Velickovic
July 31, 2023 01:25 46s Ivan-Velickovic:remove_ubuntu_18.04_support
Ivan-Velickovic:remove_ubuntu_18.04_support
July 31, 2023 01:25 46s
Fix ZCU102/ZCU106 boot command PR #207: Pull request #189 synchronize by Ivan-Velickovic
July 24, 2023 00:16 39s Ivan-Velickovic:zcu102_fix
Ivan-Velickovic:zcu102_fix
July 24, 2023 00:16 39s
Removed typo 'is allows' PR #206: Pull request #190 opened by paulhahayes
July 17, 2023 02:09 37s paulhahayes:patch-1
paulhahayes:patch-1
July 17, 2023 02:09 37s