Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Clean Weekly Clean #195: Scheduled
April 5, 2025 15:03 3h 38m 55s master
master
April 5, 2025 15:03 3h 38m 55s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3545: Pull request #873 synchronize by corlewis
April 4, 2025 06:30 26s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 4, 2025 06:30 26s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2975: Pull request #873 synchronize by corlewis
April 4, 2025 06:30 46s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 4, 2025 06:30 46s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #348: Pull request #873 synchronize by corlewis
April 4, 2025 06:30 44s
April 4, 2025 06:30 44s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3280: Pull request #873 synchronize by corlewis
April 4, 2025 06:30 2h 19m 41s
April 4, 2025 06:30 2h 19m 41s
Update other top level proofs for det_ext changes CI #3544: Pull request #883 synchronize by corlewis
April 4, 2025 06:19 26s corlewis:det_ext_state_other_proofs
corlewis:det_ext_state_other_proofs
April 4, 2025 06:19 26s
Update other top level proofs for det_ext changes PR #2974: Pull request #883 synchronize by corlewis
April 4, 2025 06:19 45s corlewis:det_ext_state_other_proofs
corlewis:det_ext_state_other_proofs
April 4, 2025 06:19 45s
Update other top level proofs for det_ext changes Lint #347: Pull request #883 synchronize by corlewis
April 4, 2025 06:19 47s
April 4, 2025 06:19 47s
Update other top level proofs for det_ext changes Proof PR #3279: Pull request #883 synchronize by corlewis
April 4, 2025 06:19 4h 0m 3s
April 4, 2025 06:19 4h 0m 3s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3543: Pull request #873 synchronize by corlewis
April 4, 2025 05:24 24s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 4, 2025 05:24 24s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2973: Pull request #873 synchronize by corlewis
April 4, 2025 05:24 46s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 4, 2025 05:24 46s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #346: Pull request #873 synchronize by corlewis
April 4, 2025 05:24 44s
April 4, 2025 05:24 44s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3278: Pull request #873 synchronize by corlewis
April 4, 2025 05:24 56m 50s
April 4, 2025 05:24 56m 50s
rt haskell+refine+crefine: reduce use of valid_objs' in CRefine CI #3542: Commit ef0f2e8 pushed by lsf37
April 4, 2025 04:27 23s rt
rt
April 4, 2025 04:27 23s
rt haskell+refine+crefine: reduce use of valid_objs' in CRefine Proofs #1144: Commit ef0f2e8 pushed by lsf37
April 4, 2025 04:27 2h 31m 13s rt
rt
April 4, 2025 04:27 2h 31m 13s
rebase Rebase #118: Repository dispatch triggered by github-actions bot
April 4, 2025 04:24 24s
April 4, 2025 04:24 24s
manifest-update Proofs #1143: Repository dispatch triggered by seL4-ci
April 4, 2025 04:24 3h 7m 50s
April 4, 2025 04:24 3h 7m 50s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2972: Pull request #873 synchronize by corlewis
April 4, 2025 02:34 54s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 4, 2025 02:34 54s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3541: Pull request #873 synchronize by corlewis
April 4, 2025 02:34 27s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 4, 2025 02:34 27s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3277: Pull request #873 synchronize by corlewis
April 4, 2025 02:34 2h 47m 40s
April 4, 2025 02:34 2h 47m 40s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #345: Pull request #873 synchronize by corlewis
April 4, 2025 02:34 46s
April 4, 2025 02:34 46s
ccorres rules for the reply functions PR #2971: Pull request #881 synchronize by michaelmcinerney
April 4, 2025 01:09 1m 48s michaelm-reply_functions
michaelm-reply_functions
April 4, 2025 01:09 1m 48s
ccorres rules for the reply functions CI #3540: Pull request #881 synchronize by michaelmcinerney
April 4, 2025 01:09 21s michaelm-reply_functions
michaelm-reply_functions
April 4, 2025 01:09 21s
ccorres rules for the reply functions Proof PR #3276: Pull request #881 synchronize by michaelmcinerney
April 4, 2025 01:09 2h 9m 0s
April 4, 2025 01:09 2h 9m 0s
ccorres rules for the reply functions Lint #344: Pull request #881 synchronize by michaelmcinerney
April 4, 2025 01:09 42s
April 4, 2025 01:09 42s