Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,458 workflow runs
2,458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ARM Access for det_ext changes Lint #195: Pull request #840 synchronize by corlewis
December 19, 2024 03:16 46s
December 19, 2024 03:16 46s
Update ARM Access for det_ext changes Proof PR #3130: Pull request #840 synchronize by corlewis
December 19, 2024 03:16 3h 29m 33s
December 19, 2024 03:16 3h 29m 33s
rebase Rebase #44: Repository dispatch triggered by github-actions bot
December 19, 2024 02:30 37s
December 19, 2024 02:30 37s
manifest-update Proofs #1021: Repository dispatch triggered by seL4-ci
December 19, 2024 02:29 1h 26m 59s
December 19, 2024 02:29 1h 26m 59s
Update explicit FPU specifications for det_ext changes Proof PR #3129: Pull request #843 opened by corlewis
December 19, 2024 01:07 56m 13s
December 19, 2024 01:07 56m 13s
Update explicit FPU specifications for det_ext changes Lint #194: Pull request #843 opened by corlewis
December 19, 2024 01:07 1m 28s
December 19, 2024 01:07 1m 28s
Update explicit FPU specifications for det_ext changes PR #2826: Pull request #843 opened by corlewis
December 19, 2024 01:07 3m 4s corlewis:explicit_fpu_det_ext
corlewis:explicit_fpu_det_ext
December 19, 2024 01:07 3m 4s
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 Proof PR #3128: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 2h 55m 37s
December 19, 2024 00:46 2h 55m 37s
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
Lemmas for simplifying masking and thread states Lint #193: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 8m 47s
December 19, 2024 00:46 8m 47s
Lemmas for simplifying masking and thread states PR #2825: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 8m 56s michaelm-mask_thread_state
michaelm-mask_thread_state
December 19, 2024 00:46 8m 56s
make ARM+ARM_HYP proofs work for smaller irq_len PR #2824: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 11m 26s irq-fixes
irq-fixes
December 19, 2024 00:43 11m 26s
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
make ARM+ARM_HYP proofs work for smaller irq_len Proof PR #3127: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 2h 33m 54s
December 19, 2024 00:43 2h 33m 54s
make ARM+ARM_HYP proofs work for smaller irq_len Lint #192: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 3m 36s
December 19, 2024 00:43 3m 36s
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 PR #2823: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 58s fpu_context_switching
fpu_context_switching
December 19, 2024 00:22 58s
Update specs to use semi-lazy FPU switching Proof PR #3126: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 55m 34s
December 19, 2024 00:22 55m 34s
Update specs to use semi-lazy FPU switching Lint #191: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 40s
December 19, 2024 00:22 40s
rebase Rebase #43: Repository dispatch triggered by github-actions bot
December 19, 2024 00:09 2m 44s
December 19, 2024 00:09 2m 44s
manifest-update Proofs #1020: Repository dispatch triggered by seL4-ci
December 19, 2024 00:08 2h 21m 50s
December 19, 2024 00:08 2h 21m 50s
Update specs to use semi-lazy FPU switching Lint #190: Pull request #819 synchronize by corlewis
December 18, 2024 23:46 41s
December 18, 2024 23:46 41s
Update specs to use semi-lazy FPU switching Proof PR #3125: Pull request #819 synchronize by corlewis
December 18, 2024 23:46 36m 22s
December 18, 2024 23:46 36m 22s
Update specs to use semi-lazy FPU switching PR #2822: Pull request #819 synchronize by corlewis
December 18, 2024 23:46 54s fpu_context_switching
fpu_context_switching
December 18, 2024 23:46 54s