Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aarch64 crefine: make proof generic in cacheLineBits Proofs #976: Commit d7d306e pushed by lsf37
September 24, 2024 20:24 3h 23m 7s master
master
September 24, 2024 20:24 3h 23m 7s
make proofs generic in cacheLineBits CI #3250: Pull request #814 synchronize by lsf37
September 24, 2024 16:29 30s cacheLineBits
cacheLineBits
September 24, 2024 16:29 30s
make proofs generic in cacheLineBits PR #2727: Pull request #814 synchronize by lsf37
September 24, 2024 16:29 58s cacheLineBits
cacheLineBits
September 24, 2024 16:29 58s
make proofs generic in cacheLineBits Lint #95: Pull request #814 synchronize by lsf37
September 24, 2024 16:29 47s
September 24, 2024 16:29 47s
make proofs generic in cacheLineBits Proof PR #3030: Pull request #814 synchronize by lsf37
September 24, 2024 16:28 3h 7m 33s
September 24, 2024 16:28 3h 7m 33s
Update specs to use semi-lazy FPU switching PR #2726: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 44s fpu_context_switching
fpu_context_switching
September 24, 2024 06:31 44s
Update specs to use semi-lazy FPU switching CI #3249: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 33s fpu_context_switching
fpu_context_switching
September 24, 2024 06:31 33s
Update specs to use semi-lazy FPU switching Lint #94: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 46s
September 24, 2024 06:31 46s
Update specs to use semi-lazy FPU switching Proof PR #3029: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 19m 29s
September 24, 2024 06:31 19m 29s
Update specs to use semi-lazy FPU switching PR #2725: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 1m 3s fpu_context_switching
fpu_context_switching
September 24, 2024 05:42 1m 3s
Update specs to use semi-lazy FPU switching CI #3248: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 26s fpu_context_switching
fpu_context_switching
September 24, 2024 05:42 26s
Update specs to use semi-lazy FPU switching Proof PR #3028: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 51m 57s
September 24, 2024 05:42 51m 57s
Update specs to use semi-lazy FPU switching Lint #93: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 40s
September 24, 2024 05:42 40s
Update specs to use semi-lazy FPU switching CI #3247: Pull request #819 opened by corlewis
September 24, 2024 05:37 25s fpu_context_switching
fpu_context_switching
September 24, 2024 05:37 25s
Update specs to use semi-lazy FPU switching Lint #92: Pull request #819 opened by corlewis
September 24, 2024 05:37 46s
September 24, 2024 05:37 46s
Update specs to use semi-lazy FPU switching Proof PR #3027: Pull request #819 opened by corlewis
September 24, 2024 05:37 41m 36s
September 24, 2024 05:37 41m 36s
Update specs to use semi-lazy FPU switching PR #2724: Pull request #819 opened by corlewis
September 24, 2024 05:37 46s fpu_context_switching
fpu_context_switching
September 24, 2024 05:37 46s
Weekly Clean Weekly Clean #165: Scheduled
September 21, 2024 15:04 3h 30m 1s master
master
September 21, 2024 15:04 3h 30m 1s
rebase Rebase #9: Repository dispatch triggered by github-actions bot
September 16, 2024 11:35 29s
September 16, 2024 11:35 29s
manifest-update Proofs #975: Repository dispatch triggered by seL4-ci
September 16, 2024 11:35 18m 51s
September 16, 2024 11:35 18m 51s
External External #76: Scheduled
September 15, 2024 15:02 26m 0s master
master
September 15, 2024 15:02 26m 0s
Weekly Clean Weekly Clean #164: Scheduled
September 14, 2024 15:03 3h 39m 21s master
master
September 14, 2024 15:03 3h 39m 21s
Prove cancelBadgedSends_ccorres CI #3246: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 28s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 13, 2024 11:56 28s
Prove cancelBadgedSends_ccorres PR #2723: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 49s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 13, 2024 11:56 49s
Prove cancelBadgedSends_ccorres Proof PR #3026: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 2h 54m 12s
September 13, 2024 11:56 2h 54m 12s