Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Clean Weekly Clean #193: Scheduled
March 29, 2025 15:04 In progress master
master
March 29, 2025 15:04 In progress
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3507: Pull request #873 synchronize by corlewis
March 28, 2025 06:10 23s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 28, 2025 06:10 23s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2944: Pull request #873 synchronize by corlewis
March 28, 2025 06:10 56s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 28, 2025 06:10 56s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3250: Pull request #873 synchronize by corlewis
March 28, 2025 06:10 1h 34m 35s
March 28, 2025 06:10 1h 34m 35s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #315: Pull request #873 synchronize by corlewis
March 28, 2025 06:10 51s
March 28, 2025 06:10 51s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3506: Pull request #873 synchronize by corlewis
March 28, 2025 03:02 25s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 28, 2025 03:02 25s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2943: Pull request #873 synchronize by corlewis
March 28, 2025 03:02 53s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 28, 2025 03:02 53s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3249: Pull request #873 synchronize by corlewis
March 28, 2025 03:02 2h 22m 10s
March 28, 2025 03:02 2h 22m 10s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #314: Pull request #873 synchronize by corlewis
March 28, 2025 03:02 50s
March 28, 2025 03:02 50s
github: update to central workflows PR #2942: Pull request #868 synchronize by lsf37
March 27, 2025 23:56 1s lsf37/central-workflows
lsf37/central-workflows
March 27, 2025 23:56 1s
github: update to central workflows CI #3505: Pull request #868 synchronize by lsf37
March 27, 2025 23:56 Startup failure lsf37/central-workflows
lsf37/central-workflows
March 27, 2025 23:56 Startup failure
github: update to central workflows Proof PR #3248: Pull request #868 synchronize by lsf37
March 27, 2025 23:55 3h 7m 25s
March 27, 2025 23:55 3h 7m 25s
github: update to central workflows Lint #313: Pull request #868 synchronize by lsf37
March 27, 2025 23:55 2m 15s
March 27, 2025 23:55 2m 15s
rebase Rebase #108: Repository dispatch triggered by github-actions bot
March 27, 2025 23:55 30s
March 27, 2025 23:55 30s
rebase Rebase #107: Repository dispatch triggered by github-actions bot
March 27, 2025 23:55 28s
March 27, 2025 23:55 28s
manifest-update Proofs #1132: Repository dispatch triggered by seL4-ci
March 27, 2025 23:55 44s
March 27, 2025 23:55 44s
arm+arm_hyp spec+proof: add GICv3 support CI #3504: Commit de91ea2 pushed by lsf37
March 27, 2025 23:55 44s master
master
March 27, 2025 23:55 44s
arm+arm_hyp spec+proof: add GICv3 support Proofs #1131: Commit de91ea2 pushed by lsf37
March 27, 2025 23:55 3h 19m 42s master
master
March 27, 2025 23:55 3h 19m 42s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2941: Pull request #873 synchronize by corlewis
March 27, 2025 23:23 1m 46s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 27, 2025 23:23 1m 46s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3503: Pull request #873 synchronize by corlewis
March 27, 2025 23:23 37s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 27, 2025 23:23 37s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #312: Pull request #873 synchronize by corlewis
March 27, 2025 23:23 49s
March 27, 2025 23:23 49s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3247: Pull request #873 synchronize by corlewis
March 27, 2025 23:23 4m 9s
March 27, 2025 23:23 4m 9s
github: add imx8mm workflow for branch push Proofs #1130: Commit 354e7a9 pushed by seL4-ci
March 27, 2025 05:37 54m 35s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
March 27, 2025 05:37 54m 35s
rebase Rebase #106: Repository dispatch triggered by github-actions bot
March 27, 2025 05:37 33s
March 27, 2025 05:37 33s
manifest-update Proofs #1129: Repository dispatch triggered by seL4-ci
March 27, 2025 05:37 2h 34m 50s
March 27, 2025 05:37 2h 34m 50s