Skip to content

Actions: seL4/l4v

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
657 workflow runs
657 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor det_ext to remove scheduler state CI #3281: Pull request #824 synchronize by corlewis
November 13, 2024 10:36 22s corlewis:det_ext_state
corlewis:det_ext_state
November 13, 2024 10:36 22s
Refactor det_ext to remove scheduler state CI #3280: Pull request #824 synchronize by corlewis
November 13, 2024 08:07 28s corlewis:det_ext_state
corlewis:det_ext_state
November 13, 2024 08:07 28s
Refactor det_ext to remove scheduler state CI #3279: Pull request #824 synchronize by corlewis
November 8, 2024 05:50 27s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 05:50 27s
Refactor det_ext to remove scheduler state CI #3278: Pull request #824 synchronize by corlewis
November 8, 2024 05:08 26s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 05:08 26s
Refactor det_ext to remove scheduler state CI #3277: Pull request #824 synchronize by corlewis
November 8, 2024 04:59 24s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 04:59 24s
Refactor det_ext to remove scheduler state CI #3276: Pull request #824 synchronize by corlewis
November 8, 2024 04:55 21s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 04:55 21s
Refactor det_ext to remove scheduler state CI #3275: Pull request #824 synchronize by corlewis
November 8, 2024 04:35 27s corlewis:det_ext_state
corlewis:det_ext_state
November 8, 2024 04:35 27s
x64 crefine: proof update after change to C CI #3274: Pull request #825 opened by nspin
November 6, 2024 10:07 3m 32s nspin:pr/x86-initialize-vars
nspin:pr/x86-initialize-vars
November 6, 2024 10:07 3m 32s
Refactor det_ext to remove scheduler state CI #3273: Pull request #824 opened by corlewis
October 28, 2024 07:12 28s corlewis:det_ext_state
corlewis:det_ext_state
October 28, 2024 07:12 28s
x64 crefine: remove unused lemmas CI #3272: Commit f8016c1 pushed by lsf37
October 24, 2024 04:33 23s master
master
October 24, 2024 04:33 23s
verification for deferred cache flush in untyped reset CI #3271: Pull request #811 synchronize by lsf37
October 24, 2024 03:01 25s ut-reset-caching
ut-reset-caching
October 24, 2024 03:01 25s
verification for deferred cache flush in untyped reset CI #3270: Pull request #811 synchronize by lsf37
October 23, 2024 23:24 22s ut-reset-caching
ut-reset-caching
October 23, 2024 23:24 22s
verification for deferred cache flush in untyped reset CI #3269: Pull request #811 synchronize by lsf37
October 23, 2024 07:05 27s ut-reset-caching
ut-reset-caching
October 23, 2024 07:05 27s
verification for deferred cache flush in untyped reset CI #3268: Pull request #811 synchronize by lsf37
October 23, 2024 00:43 26s ut-reset-caching
ut-reset-caching
October 23, 2024 00:43 26s
verification for deferred cache flush in untyped reset CI #3267: Pull request #811 synchronize by lsf37
October 21, 2024 23:01 25s ut-reset-caching
ut-reset-caching
October 21, 2024 23:01 25s
rt crefine: prove cancelBadgedSends_ccorres CI #3266: Commit 0c4fbc2 pushed by lsf37
October 20, 2024 23:36 41s rt
rt
October 20, 2024 23:36 41s
c-parser: handle sed backup files uniformly in mkrelease CI #3265: Commit 4f1563a pushed by lsf37
October 11, 2024 03:37 26s master
master
October 11, 2024 03:37 26s
AutoCorres 1.11 + CParser 1.21 release CI #3264: Pull request #823 opened by lsf37
October 10, 2024 22:43 17s autocorres-release
autocorres-release
October 10, 2024 22:43 17s
Small IPC lemmas CI #3263: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 27s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
October 8, 2024 05:08 27s
refill_budget_check_ccorres CI #3262: Pull request #821 opened by michaelmcinerney
October 2, 2024 05:26 32s michaelm-rbc_ccorres
michaelm-rbc_ccorres
October 2, 2024 05:26 32s
make ARM+ARM_HYP proofs work for smaller irq_len CI #3261: Pull request #820 opened by lsf37
September 28, 2024 07:30 26s irq-fixes
irq-fixes
September 28, 2024 07:30 26s
Update specs to use semi-lazy FPU switching CI #3260: Pull request #819 synchronize by corlewis
September 27, 2024 11:39 25s fpu_context_switching
fpu_context_switching
September 27, 2024 11:39 25s
Update specs to use semi-lazy FPU switching CI #3259: Pull request #819 synchronize by corlewis
September 27, 2024 10:41 26s fpu_context_switching
fpu_context_switching
September 27, 2024 10:41 26s
Update specs to use semi-lazy FPU switching CI #3258: Pull request #819 synchronize by corlewis
September 27, 2024 01:02 32s fpu_context_switching
fpu_context_switching
September 27, 2024 01:02 32s
Update specs to use semi-lazy FPU switching CI #3257: Pull request #819 synchronize by corlewis
September 26, 2024 04:51 21s fpu_context_switching
fpu_context_switching
September 26, 2024 04:51 21s