Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
552 workflow runs
552 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove cancelBadgedSends_ccorres PR #2716: Pull request #816 opened by michaelmcinerney
September 3, 2024 07:53 52s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 3, 2024 07:53 52s
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS PR #2715: Pull request #815 opened by lsf37
September 2, 2024 20:19 45s wfi-wfe-traps
wfi-wfe-traps
September 2, 2024 20:19 45s
make proofs generic in cacheLineBits PR #2714: Pull request #814 synchronize by lsf37
September 2, 2024 11:31 47s cacheLineBits
cacheLineBits
September 2, 2024 11:31 47s
make proofs generic in cacheLineBits PR #2713: Pull request #814 synchronize by lsf37
September 2, 2024 11:16 48s cacheLineBits
cacheLineBits
September 2, 2024 11:16 48s
make proofs generic in cacheLineBits PR #2712: Pull request #814 opened by lsf37
September 2, 2024 11:14 47s cacheLineBits
cacheLineBits
September 2, 2024 11:14 47s
lib: Requalify: better document annotation PR #2711: Pull request #813 synchronize by Xaphiosis
August 27, 2024 10:08 55s Xaphiosis:arch-split_requalify_anno
Xaphiosis:arch-split_requalify_anno
August 27, 2024 10:08 55s
lib: Requalify: better document annotation PR #2710: Pull request #813 opened by Xaphiosis
August 27, 2024 04:52 54s Xaphiosis:arch-split_requalify_anno
Xaphiosis:arch-split_requalify_anno
August 27, 2024 04:52 54s
lib: Requalify: enable ctrl+click jumps for arch_requalify PR #2709: Pull request #812 synchronize by Xaphiosis
August 20, 2024 08:29 41s Xaphiosis:arch_requalify
Xaphiosis:arch_requalify
August 20, 2024 08:29 41s
lib: Requalify: enable ctrl+click jumps for arch_requalify PR #2708: Pull request #812 opened by Xaphiosis
August 20, 2024 03:10 52s Xaphiosis:arch_requalify
Xaphiosis:arch_requalify
August 20, 2024 03:10 52s
Arch-split overhaul for design spec PR #2707: Pull request #809 synchronize by Xaphiosis
August 19, 2024 02:13 48s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 19, 2024 02:13 48s
Arch-split overhaul for design spec PR #2706: Pull request #809 synchronize by Xaphiosis
August 19, 2024 02:09 48s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 19, 2024 02:09 48s
Arch-split overhaul for design spec PR #2705: Pull request #809 synchronize by Xaphiosis
August 18, 2024 22:25 53s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 18, 2024 22:25 53s
verification for deferred cache flush in untyped reset PR #2704: Pull request #811 synchronize by lsf37
August 17, 2024 12:19 1m 10s ut-reset-caching
ut-reset-caching
August 17, 2024 12:19 1m 10s
verification for deferred cache flush in untyped reset PR #2703: Pull request #811 synchronize by lsf37
August 16, 2024 08:05 38s ut-reset-caching
ut-reset-caching
August 16, 2024 08:05 38s
verification for deferred cache flush in untyped reset PR #2702: Pull request #811 synchronize by lsf37
August 16, 2024 08:01 1m 9s ut-reset-caching
ut-reset-caching
August 16, 2024 08:01 1m 9s
verification for deferred cache flush in untyped reset PR #2701: Pull request #811 opened by lsf37
August 16, 2024 08:00 58s ut-reset-caching
ut-reset-caching
August 16, 2024 08:00 58s
MCS: Remove grant right from reply cap PR #2700: Pull request #808 synchronize by corlewis
August 12, 2024 08:36 59s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 12, 2024 08:36 59s
MCS: Remove grant right from reply cap PR #2699: Pull request #808 synchronize by corlewis
August 9, 2024 04:26 55s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 9, 2024 04:26 55s
docs: use internet archive for isabelle.systems PR #2698: Pull request #810 opened by Xaphiosis
August 8, 2024 19:06 1m 1s links_isabelle_systems
links_isabelle_systems
August 8, 2024 19:06 1m 1s
Arch-split overhaul for design spec PR #2697: Pull request #809 opened by Xaphiosis
August 8, 2024 18:42 1m 20s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 8, 2024 18:42 1m 20s
Prove schedContext_donate_ccorres PR #2696: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 13:57 51s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
August 8, 2024 13:57 51s
Prove schedContext_donate_ccorres PR #2695: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 10:40 52s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
August 8, 2024 10:40 52s
Prove schedContext_donate_ccorres PR #2694: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 10:35 56s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
August 8, 2024 10:35 56s
Prove schedContext_donate_ccorres PR #2693: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 10:09 54s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
August 8, 2024 10:09 54s
Overhaul arch-split in machine, ASpec and AInvs PR #2692: Pull request #805 synchronize by Xaphiosis
August 8, 2024 05:36 47s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
August 8, 2024 05:36 47s