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

python style fix CI #22: Commit 1e5505c pushed by lsf37
June 17, 2024 01:45 28s main
main
June 17, 2024 01:45 28s
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation PR #15: Pull request #24 synchronize by lsf37
June 17, 2024 01:43 23s 0140-budget-limit-threshold
0140-budget-limit-threshold
June 17, 2024 01:43 23s
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation CI #21: Pull request #24 synchronize by lsf37
June 17, 2024 01:43 22s 0140-budget-limit-threshold
0140-budget-limit-threshold
June 17, 2024 01:43 22s
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation PR #14: Pull request #24 opened by lsf37
June 17, 2024 01:42 24s 0140-budget-limit-threshold
0140-budget-limit-threshold
June 17, 2024 01:42 24s
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation CI #20: Pull request #24 opened by lsf37
June 17, 2024 01:42 26s 0140-budget-limit-threshold
0140-budget-limit-threshold
June 17, 2024 01:42 26s
import RFC-17 CI #19: Commit bb712a4 pushed by lsf37
June 17, 2024 00:49 36s main
main
June 17, 2024 00:49 36s
import RFC-17 Deploy RFC book #11: Commit bb712a4 pushed by lsf37
June 17, 2024 00:49 2m 28s main
main
June 17, 2024 00:49 2m 28s
RFC-17: seL4 multikernel IPI API CI #18: Pull request #23 opened by lsf37
June 17, 2024 00:48 59s 0170-multikernel-ipi-api
0170-multikernel-ipi-api
June 17, 2024 00:48 59s
RFC-17: seL4 multikernel IPI API PR #13: Pull request #23 opened by lsf37
June 17, 2024 00:48 23s 0170-multikernel-ipi-api
0170-multikernel-ipi-api
June 17, 2024 00:48 23s
RFC-16: New capability for the PMU PR #12: Pull request #22 opened by lsf37
June 14, 2024 10:01 23s 0160-pmu
0160-pmu
June 14, 2024 10:01 23s
RFC-16: New capability for the PMU CI #17: Pull request #22 opened by lsf37
June 14, 2024 10:01 38s 0160-pmu
0160-pmu
June 14, 2024 10:01 38s
RFC-15: Support CHERI/Morello in seL4 CI #16: Pull request #21 opened by lsf37
June 14, 2024 09:06 34s 0150-morello-support
0150-morello-support
June 14, 2024 09:06 34s
RFC-15: Support CHERI/Morello in seL4 PR #11: Pull request #21 opened by lsf37
June 14, 2024 09:06 26s 0150-morello-support
0150-morello-support
June 14, 2024 09:06 26s
import RFC-13 Deploy RFC book #10: Commit 565cb38 pushed by lsf37
June 14, 2024 00:02 3m 33s main
main
June 14, 2024 00:02 3m 33s
import RFC-13 CI #15: Commit 565cb38 pushed by lsf37
June 14, 2024 00:02 39s main
main
June 14, 2024 00:02 39s
RFC-13: MCS: Improve constraints on grant via reply PR #10: Pull request #20 opened by lsf37
June 13, 2024 23:58 21s 0130-mcs-grant-reply
0130-mcs-grant-reply
June 13, 2024 23:58 21s
RFC-13: MCS: Improve constraints on grant via reply CI #14: Pull request #20 opened by lsf37
June 13, 2024 23:58 46s 0130-mcs-grant-reply
0130-mcs-grant-reply
June 13, 2024 23:58 46s
RFC-12: The seL4 Device Driver Framework CI #13: Pull request #19 opened by lsf37
June 13, 2024 23:31 32s 0120-device-driver-framework
0120-device-driver-framework
June 13, 2024 23:31 32s
RFC-12: The seL4 Device Driver Framework PR #9: Pull request #19 opened by lsf37
June 13, 2024 23:31 22s 0120-device-driver-framework
0120-device-driver-framework
June 13, 2024 23:31 22s
LICESNES: add BSD-2-Clause Deploy RFC book #9: Commit 1eef74e pushed by lsf37
June 13, 2024 10:04 4m 14s main
main
June 13, 2024 10:04 4m 14s
LICESNES: add BSD-2-Clause CI #12: Commit 1eef74e pushed by lsf37
June 13, 2024 10:04 42s main
main
June 13, 2024 10:04 42s
rfc-11: record disposition Deploy RFC book #8: Commit 732fd30 pushed by lsf37
June 13, 2024 10:02 2m 1s main
main
June 13, 2024 10:02 2m 1s
rfc-11: record disposition CI #11: Commit 732fd30 pushed by lsf37
June 13, 2024 10:02 28s main
main
June 13, 2024 10:02 28s
Import RFC-11 CI #10: Commit 371c8a3 pushed by lsf37
June 13, 2024 10:00 28s main
main
June 13, 2024 10:00 28s
Import RFC-11 Deploy RFC book #7: Commit 371c8a3 pushed by lsf37
June 13, 2024 10:00 4m 12s main
main
June 13, 2024 10:00 4m 12s