Skip to content

Actions: seL4/l4v

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
697 workflow runs
697 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

arch-split Refine up to Invariants_H for X64 CI #3379: Pull request #842 synchronize by Xaphiosis
January 6, 2025 04:26 24s arch-split_x64
arch-split_x64
January 6, 2025 04:26 24s
Add GIC v3 support for AArch64 platforms CI #3378: Pull request #846 synchronize by lsf37
January 5, 2025 22:01 24s gicv3
gicv3
January 5, 2025 22:01 24s
Add GIC v3 support for AArch64 platforms CI #3377: Pull request #846 opened by lsf37
January 5, 2025 21:52 23s gicv3
gicv3
January 5, 2025 21:52 23s
rt ainvs: remove set_map_fst_filter_zip from AInvs (now in Lib) CI #3376: Commit b91e1d9 pushed by michaelmcinerney
December 20, 2024 07:56 24s rt
rt
December 20, 2024 07:56 24s
Add sorted_ipc_queues invariant CI #3375: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 25s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 06:31 25s
Add sorted_ipc_queues invariant CI #3374: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 24s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 05:18 24s
lib: add set_map_fst_filter_zip to Lib CI #3373: Commit 911b214 pushed by michaelmcinerney
December 20, 2024 05:14 25s master
master
December 20, 2024 05:14 25s
Some changes for Lib, December '24 edition CI #3372: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 25s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 20, 2024 02:11 25s
Some changes for Lib, December '24 edition CI #3371: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 24s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 23:54 24s
Some changes for Lib, December '24 edition CI #3370: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:31 22s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 23:31 22s
Update ARM Access for det_ext changes CI #3369: Pull request #840 synchronize by corlewis
December 19, 2024 23:31 22s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
December 19, 2024 23:31 22s
Lemmas for simplifying masking and thread states CI #3368: Pull request #817 synchronize by michaelmcinerney
December 19, 2024 23:28 23s michaelm-mask_thread_state
michaelm-mask_thread_state
December 19, 2024 23:28 23s
Update ARM AInvs for det_ext changes CI #3367: Pull request #844 synchronize by corlewis
December 19, 2024 23:25 28s corlewis:get_ext_state_arm_ainvs
corlewis:get_ext_state_arm_ainvs
December 19, 2024 23:25 28s
Some changes for Lib, December '24 edition CI #3366: Pull request #845 opened by michaelmcinerney
December 19, 2024 07:05 22s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 07:05 22s
Add sorted_ipc_queues invariant CI #3365: Pull request #836 synchronize by michaelmcinerney
December 19, 2024 06:29 28s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 19, 2024 06:29 28s
Update ARM AInvs for det_ext changes CI #3364: Pull request #844 opened by corlewis
December 19, 2024 04:17 25s corlewis:get_ext_state_arm_ainvs
corlewis:get_ext_state_arm_ainvs
December 19, 2024 04:17 25s
crefine arm+arm-hyp: deal with smaller irq_len CI #3363: Commit 924780f pushed by lsf37
December 19, 2024 03:55 24s master
master
December 19, 2024 03:55 24s
Update ARM Access for det_ext changes CI #3362: Pull request #840 synchronize by corlewis
December 19, 2024 03:17 24s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
December 19, 2024 03:17 24s
Update explicit FPU specifications for det_ext changes CI #3361: Pull request #843 opened by corlewis
December 19, 2024 01:07 1m 49s corlewis:explicit_fpu_det_ext
corlewis:explicit_fpu_det_ext
December 19, 2024 01:07 1m 49s
Lemmas for simplifying masking and thread states CI #3360: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 8m 19s michaelm-mask_thread_state
michaelm-mask_thread_state
December 19, 2024 00:46 8m 19s
make ARM+ARM_HYP proofs work for smaller irq_len CI #3359: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 10m 58s irq-fixes
irq-fixes
December 19, 2024 00:43 10m 58s
Update specs to use semi-lazy FPU switching CI #3358: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 23s fpu_context_switching
fpu_context_switching
December 19, 2024 00:22 23s
Update specs to use semi-lazy FPU switching CI #3357: Pull request #819 synchronize by corlewis
December 18, 2024 23:46 1m 20s fpu_context_switching
fpu_context_switching
December 18, 2024 23:46 1m 20s
Update specs to use semi-lazy FPU switching CI #3356: Pull request #819 synchronize by corlewis
December 18, 2024 08:00 1m 20s fpu_context_switching
fpu_context_switching
December 18, 2024 08:00 1m 20s
Update specs to use semi-lazy FPU switching CI #3355: Pull request #819 synchronize by corlewis
December 18, 2024 07:41 25s fpu_context_switching
fpu_context_switching
December 18, 2024 07:41 25s