Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
513 workflow runs
513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor det_ext to remove scheduler state PR #2753: Pull request #824 synchronize by corlewis
November 13, 2024 10:36 47s corlewis:det_ext_state
corlewis:det_ext_state
November 13, 2024 10:36 47s
Refactor det_ext to remove scheduler state PR #2752: Pull request #824 synchronize by corlewis
November 13, 2024 08:07 1m 5s corlewis:det_ext_state
corlewis:det_ext_state
November 13, 2024 08:07 1m 5s
Refactor det_ext to remove scheduler state PR #2751: Pull request #824 synchronize by corlewis
November 8, 2024 05:50 56s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 05:50 56s
Refactor det_ext to remove scheduler state PR #2750: Pull request #824 synchronize by corlewis
November 8, 2024 05:08 41s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 05:08 41s
Refactor det_ext to remove scheduler state PR #2749: Pull request #824 synchronize by corlewis
November 8, 2024 04:59 50s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 04:59 50s
Refactor det_ext to remove scheduler state PR #2748: Pull request #824 synchronize by corlewis
November 8, 2024 04:55 46s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 04:55 46s
Refactor det_ext to remove scheduler state PR #2747: Pull request #824 synchronize by corlewis
November 8, 2024 04:35 48s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 04:35 48s
x64 crefine: proof update after change to C PR #2746: Pull request #825 opened by nspin
November 6, 2024 10:07 4m 8s nspin:pr/x86-initialize-vars
nspin:pr/x86-initialize-vars
November 6, 2024 10:07 4m 8s
Refactor det_ext to remove scheduler state PR #2745: Pull request #824 opened by corlewis
October 28, 2024 07:12 59s corlewis:det_ext_state
corlewis:det_ext_state
October 28, 2024 07:12 59s
verification for deferred cache flush in untyped reset PR #2744: Pull request #811 synchronize by lsf37
October 24, 2024 03:01 52s ut-reset-caching
ut-reset-caching
October 24, 2024 03:01 52s
verification for deferred cache flush in untyped reset PR #2743: Pull request #811 synchronize by lsf37
October 23, 2024 23:24 47s ut-reset-caching
ut-reset-caching
October 23, 2024 23:24 47s
verification for deferred cache flush in untyped reset PR #2742: Pull request #811 synchronize by lsf37
October 23, 2024 07:05 1m 2s ut-reset-caching
ut-reset-caching
October 23, 2024 07:05 1m 2s
verification for deferred cache flush in untyped reset PR #2741: Pull request #811 synchronize by lsf37
October 23, 2024 00:43 51s ut-reset-caching
ut-reset-caching
October 23, 2024 00:43 51s
verification for deferred cache flush in untyped reset PR #2740: Pull request #811 synchronize by lsf37
October 21, 2024 23:01 48s ut-reset-caching
ut-reset-caching
October 21, 2024 23:01 48s
AutoCorres 1.11 + CParser 1.21 release PR #2739: Pull request #823 opened by lsf37
October 10, 2024 22:43 52s autocorres-release
autocorres-release
October 10, 2024 22:43 52s
Small IPC lemmas PR #2738: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 57s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
October 8, 2024 05:08 57s
refill_budget_check_ccorres PR #2737: Pull request #821 opened by michaelmcinerney
October 2, 2024 05:26 1m 13s michaelm-rbc_ccorres
michaelm-rbc_ccorres
October 2, 2024 05:26 1m 13s
make ARM+ARM_HYP proofs work for smaller irq_len PR #2736: Pull request #820 opened by lsf37
September 28, 2024 07:30 46s irq-fixes
irq-fixes
September 28, 2024 07:30 46s
Update specs to use semi-lazy FPU switching PR #2735: Pull request #819 synchronize by corlewis
September 27, 2024 11:39 53s fpu_context_switching
fpu_context_switching
September 27, 2024 11:39 53s
Update specs to use semi-lazy FPU switching PR #2734: Pull request #819 synchronize by corlewis
September 27, 2024 10:41 1m 1s fpu_context_switching
fpu_context_switching
September 27, 2024 10:41 1m 1s
Update specs to use semi-lazy FPU switching PR #2733: Pull request #819 synchronize by corlewis
September 27, 2024 01:02 1m 2s fpu_context_switching
fpu_context_switching
September 27, 2024 01:02 1m 2s
Update specs to use semi-lazy FPU switching PR #2732: Pull request #819 synchronize by corlewis
September 26, 2024 04:51 49s fpu_context_switching
fpu_context_switching
September 26, 2024 04:51 49s
Update specs to use semi-lazy FPU switching PR #2731: Pull request #819 synchronize by corlewis
September 26, 2024 04:48 56s fpu_context_switching
fpu_context_switching
September 26, 2024 04:48 56s
Update specs to use semi-lazy FPU switching PR #2730: Pull request #819 synchronize by corlewis
September 26, 2024 03:27 49s fpu_context_switching
fpu_context_switching
September 26, 2024 03:27 49s
Update specs to use semi-lazy FPU switching PR #2729: Pull request #819 synchronize by corlewis
September 26, 2024 03:06 48s fpu_context_switching
fpu_context_switching
September 26, 2024 03:06 48s