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

README: highlight summary links CI #34: Commit e3afff4 pushed by Indanz
August 5, 2024 11:29 47s main
main
August 5, 2024 11:29 47s
README: highlight summary links Deploy RFC book #16: Commit e3afff4 pushed by Indanz
August 5, 2024 11:29 2m 3s main
main
August 5, 2024 11:29 2m 3s
RFC-15: Support CHERI/Morello in seL4 PR #23: Pull request #21 synchronize by lsf37
August 4, 2024 00:31 26s 0150-morello-support
0150-morello-support
August 4, 2024 00:31 26s
RFC-15: Support CHERI/Morello in seL4 CI #33: Pull request #21 synchronize by lsf37
August 4, 2024 00:31 36s 0150-morello-support
0150-morello-support
August 4, 2024 00:31 36s
RFC-16: New capability for the PMU CI #32: Pull request #22 synchronize by lsf37
August 4, 2024 00:28 35s 0160-pmu
0160-pmu
August 4, 2024 00:28 35s
RFC-16: New capability for the PMU PR #22: Pull request #22 synchronize by lsf37
August 4, 2024 00:28 36s 0160-pmu
0160-pmu
August 4, 2024 00:28 36s
RFC-12: The seL4 Device Driver Framework PR #21: Pull request #19 synchronize by lsf37
August 4, 2024 00:27 34s 0120-device-driver-framework
0120-device-driver-framework
August 4, 2024 00:27 34s
RFC-12: The seL4 Device Driver Framework CI #31: Pull request #19 synchronize by lsf37
August 4, 2024 00:27 46s 0120-device-driver-framework
0120-device-driver-framework
August 4, 2024 00:27 46s
README: highlight summary links CI #30: Pull request #27 opened by lsf37
July 25, 2024 23:27 28s README-udpate
README-udpate
July 25, 2024 23:27 28s
README: highlight summary links PR #20: Pull request #27 opened by lsf37
July 25, 2024 23:27 25s README-udpate
README-udpate
July 25, 2024 23:27 25s
move rfc 0180 from proposed to active Deploy RFC book #15: Commit f5500fe pushed by lsf37
July 25, 2024 09:00 1m 56s main
main
July 25, 2024 09:00 1m 56s
move rfc 0180 from proposed to active CI #29: Commit f5500fe pushed by lsf37
July 25, 2024 09:00 31s main
main
July 25, 2024 09:00 31s
fpu: clarify current FPU switching strategy Deploy RFC book #14: Commit 9d7864b pushed by lsf37
July 25, 2024 07:47 2m 1s main
main
July 25, 2024 07:47 2m 1s
fpu: clarify current FPU switching strategy CI #28: Commit 9d7864b pushed by lsf37
July 25, 2024 07:47 41s main
main
July 25, 2024 07:47 41s
RFC-18: FPU switching PR #19: Pull request #26 synchronize by lsf37
June 26, 2024 17:17 19s 0180-fpu-switching
0180-fpu-switching
June 26, 2024 17:17 19s
RFC-18: FPU switching CI #27: Pull request #26 synchronize by lsf37
June 26, 2024 17:17 26s 0180-fpu-switching
0180-fpu-switching
June 26, 2024 17:17 26s
RFC-18: FPU switching CI #26: Pull request #26 opened by lsf37
June 21, 2024 05:54 28s 0180-fpu-switching
0180-fpu-switching
June 21, 2024 05:54 28s
RFC-18: FPU switching PR #18: Pull request #26 opened by lsf37
June 21, 2024 05:54 17s 0180-fpu-switching
0180-fpu-switching
June 21, 2024 05:54 17s
RFC-4: Ability to build additional bootloaders inside the seL4 build system CI #25: Pull request #12 synchronize by lsf37
June 20, 2024 06:19 35s 0040-additional-bootloaders
0040-additional-bootloaders
June 20, 2024 06:19 35s
RFC-4: Ability to build additional bootloaders inside the seL4 build system PR #17: Pull request #12 synchronize by lsf37
June 20, 2024 06:19 24s 0040-additional-bootloaders
0040-additional-bootloaders
June 20, 2024 06:19 24s
rfc-5: finish Core Platform/Microkit rename Deploy RFC book #13: Commit 6f821e4 pushed by lsf37
June 17, 2024 02:16 4m 0s main
main
June 17, 2024 02:16 4m 0s
rfc-5: finish Core Platform/Microkit rename CI #24: Commit 6f821e4 pushed by lsf37
June 17, 2024 02:16 2m 2s main
main
June 17, 2024 02:16 2m 2s
RFC-5: The seL4 Microkit (was: " The seL4 Core Platform") PR #16: Pull request #25 opened by lsf37
June 17, 2024 02:10 1m 24s 0050-microkit
0050-microkit
June 17, 2024 02:10 1m 24s
RFC-5: The seL4 Microkit (was: " The seL4 Core Platform") CI #23: Pull request #25 opened by lsf37
June 17, 2024 02:10 1m 23s 0050-microkit
0050-microkit
June 17, 2024 02:10 1m 23s
python style fix Deploy RFC book #12: Commit 1e5505c pushed by lsf37
June 17, 2024 01:45 2m 9s main
main
June 17, 2024 01:45 2m 9s