Skip to content

Actions: seL4/rfcs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Import RFC-11 CI #9: Pull request #18 opened by lsf37
June 13, 2024 10:00 48s 0110-mcs-configure-handlers
0110-mcs-configure-handlers
June 13, 2024 10:00 48s
Import RFC-11 PR #8: Pull request #18 opened by lsf37
June 13, 2024 10:00 21s 0110-mcs-configure-handlers
0110-mcs-configure-handlers
June 13, 2024 10:00 21s
github: fix main branch name CI #8: Commit 237ba01 pushed by lsf37
June 13, 2024 09:46 27s main
main
June 13, 2024 09:46 27s
github: fix main branch name Deploy RFC book #6: Commit 237ba01 pushed by lsf37
June 13, 2024 09:46 5m 36s main
main
June 13, 2024 09:46 5m 36s
import RFC-10 Deploy RFC book #5: Commit 5bd6752 pushed by lsf37
June 13, 2024 09:45 3m 23s main
main
June 13, 2024 09:45 3m 23s
import RFC-10 PR #7: Pull request #17 opened by lsf37
June 13, 2024 09:44 24s 0100-refactor-aarch64-vspace
0100-refactor-aarch64-vspace
June 13, 2024 09:44 24s
import RFC-10 CI #7: Pull request #17 opened by lsf37
June 13, 2024 09:44 29s 0100-refactor-aarch64-vspace
0100-refactor-aarch64-vspace
June 13, 2024 09:44 29s
import RFC-9 Deploy RFC book #4: Commit 51ff6ad pushed by lsf37
June 13, 2024 09:33 3m 35s main
main
June 13, 2024 09:33 3m 35s
import RFC-9 CI #6: Pull request #16 opened by lsf37
June 13, 2024 09:32 1m 1s 0090-smc-cap
0090-smc-cap
June 13, 2024 09:32 1m 1s
import RFC-9 PR #6: Pull request #16 opened by lsf37
June 13, 2024 09:32 22s 0090-smc-cap
0090-smc-cap
June 13, 2024 09:32 22s
template: add usage instructions Deploy RFC book #3: Commit 404aec5 pushed by lsf37
June 13, 2024 08:37 3m 33s main
main
June 13, 2024 08:37 3m 33s
import RFC-8 Deploy RFC book #2: Commit c2b5535 pushed by lsf37
June 13, 2024 08:03 3m 31s main
main
June 13, 2024 08:03 3m 31s
RFC-8: Remove support for ARMv6 (KZM/i.MX31) PR #5: Pull request #15 opened by lsf37
June 13, 2024 08:03 24s 0080-remove-armv6-support
0080-remove-armv6-support
June 13, 2024 08:03 24s
RFC-8: Remove support for ARMv6 (KZM/i.MX31) CI #5: Pull request #15 opened by lsf37
June 13, 2024 08:03 30s 0080-remove-armv6-support
0080-remove-armv6-support
June 13, 2024 08:03 30s
RFC-7: Removing CNode_Mutate CI #4: Pull request #14 opened by lsf37
June 13, 2024 07:53 29s 0070-removing-cnode-mutate
0070-removing-cnode-mutate
June 13, 2024 07:53 29s
RFC-7: Removing CNode_Mutate PR #4: Pull request #14 opened by lsf37
June 13, 2024 07:53 29s 0070-removing-cnode-mutate
0070-removing-cnode-mutate
June 13, 2024 07:53 29s
RFC-6: The seL4 Core PR #3: Pull request #13 opened by lsf37
June 13, 2024 07:43 25s 0060-the-sel4-core
0060-the-sel4-core
June 13, 2024 07:43 25s
RFC-6: The seL4 Core CI #3: Pull request #13 opened by lsf37
June 13, 2024 07:43 28s 0060-the-sel4-core
0060-the-sel4-core
June 13, 2024 07:43 28s
RFC-4: Ability to build additional bootloaders inside the seL4 build system CI #2: Pull request #12 synchronize by lsf37
June 13, 2024 07:31 32s 0040-additional-bootloaders
0040-additional-bootloaders
June 13, 2024 07:31 32s
RFC-4: Ability to build additional bootloaders inside the seL4 build system PR #2: Pull request #12 synchronize by lsf37
June 13, 2024 07:31 24s 0040-additional-bootloaders
0040-additional-bootloaders
June 13, 2024 07:31 24s
RFC-4: Ability to build additional bootloaders inside the seL4 build system CI #1: Pull request #12 opened by lsf37
June 13, 2024 07:30 42s 0040-additional-bootloaders
0040-additional-bootloaders
June 13, 2024 07:30 42s
RFC-4: Ability to build additional bootloaders inside the seL4 build system PR #1: Pull request #12 opened by lsf37
June 13, 2024 07:30 21s 0040-additional-bootloaders
0040-additional-bootloaders
June 13, 2024 07:30 21s
github: deploy RFC book to GitHub pages Deploy RFC book #1: Commit 73b004a pushed by lsf37
June 13, 2024 06:20 3m 33s main
main
June 13, 2024 06:20 3m 33s