Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename fpu_state to user_fpu_state in user contexts Lint #357: Pull request #888 opened by ryybrr
April 16, 2025 01:27 1m 0s
April 16, 2025 01:27 1m 0s
Rename fpu_state to user_fpu_state in user contexts CI #3554: Pull request #888 opened by ryybrr
April 16, 2025 01:27 1m 38s explicit_fpu_user_fpu_state
explicit_fpu_user_fpu_state
April 16, 2025 01:27 1m 38s
Rename fpu_state to user_fpu_state in user contexts PR #2984: Pull request #888 opened by ryybrr
April 16, 2025 01:27 1m 17s explicit_fpu_user_fpu_state
explicit_fpu_user_fpu_state
April 16, 2025 01:27 1m 17s
Rename fpu_state to user_fpu_state in user contexts Proof PR #3289: Pull request #888 opened by ryybrr
April 16, 2025 01:27 2h 38m 58s
April 16, 2025 01:27 2h 38m 58s
External External #90: Scheduled
April 15, 2025 15:02 3h 21m 22s master
master
April 15, 2025 15:02 3h 21m 22s
github: fix weekly tests CI #3553: Pull request #887 opened by lsf37
April 15, 2025 01:41 46s weekly
weekly
April 15, 2025 01:41 46s
github: fix weekly tests PR #2983: Pull request #887 opened by lsf37
April 15, 2025 01:41 2m 0s weekly
weekly
April 15, 2025 01:41 2m 0s
github: fix weekly tests Proof PR #3288: Pull request #887 opened by lsf37
April 15, 2025 01:41 15m 18s
April 15, 2025 01:41 15m 18s
github: fix weekly tests Lint #356: Pull request #887 opened by lsf37
April 15, 2025 01:41 1m 10s
April 15, 2025 01:41 1m 10s
rebase Rebase #119: Repository dispatch triggered by github-actions bot
April 14, 2025 02:08 26s
April 14, 2025 02:08 26s
manifest-update Proofs #1145: Repository dispatch triggered by seL4-ci
April 14, 2025 02:08 3h 2m 45s
April 14, 2025 02:08 3h 2m 45s
Weekly Clean Weekly Clean #196: Scheduled
April 12, 2025 15:03 3h 44m 4s master
master
April 12, 2025 15:03 3h 44m 4s
Update AInvs and Access for other arches for explicit FPU changes CI #3552: Pull request #886 synchronize by corlewis
April 11, 2025 12:27 59s corlewis:explicit_fpu_other_arches
corlewis:explicit_fpu_other_arches
April 11, 2025 12:27 59s
Update AInvs and Access for other arches for explicit FPU changes Proof PR #3287: Pull request #886 synchronize by corlewis
April 11, 2025 12:27 2h 44m 39s
April 11, 2025 12:27 2h 44m 39s
Update AInvs and Access for other arches for explicit FPU changes Lint #355: Pull request #886 synchronize by corlewis
April 11, 2025 12:27 1m 8s
April 11, 2025 12:27 1m 8s
Update AInvs and Access for other arches for explicit FPU changes PR #2982: Pull request #886 synchronize by corlewis
April 11, 2025 12:27 2m 21s corlewis:explicit_fpu_other_arches
corlewis:explicit_fpu_other_arches
April 11, 2025 12:27 2m 21s
Update AInvs and Access for other arches for explicit FPU changes CI #3551: Pull request #886 opened by corlewis
April 10, 2025 07:58 51s corlewis:explicit_fpu_other_arches
corlewis:explicit_fpu_other_arches
April 10, 2025 07:58 51s
Update AInvs and Access for other arches for explicit FPU changes PR #2981: Pull request #886 opened by corlewis
April 10, 2025 07:58 1m 24s corlewis:explicit_fpu_other_arches
corlewis:explicit_fpu_other_arches
April 10, 2025 07:58 1m 24s
Update AInvs and Access for other arches for explicit FPU changes Proof PR #3286: Pull request #886 opened by corlewis
April 10, 2025 07:58 3h 15m 57s
April 10, 2025 07:58 3h 15m 57s
Update AInvs and Access for other arches for explicit FPU changes Lint #354: Pull request #886 opened by corlewis
April 10, 2025 07:58 1m 15s
April 10, 2025 07:58 1m 15s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3550: Pull request #873 synchronize by corlewis
April 10, 2025 03:18 51s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 10, 2025 03:18 51s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2980: Pull request #873 synchronize by corlewis
April 10, 2025 03:18 1m 17s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
April 10, 2025 03:18 1m 17s
Update AARCH64 Refine and CRefine for explicit FPU changes Lint #353: Pull request #873 synchronize by corlewis
April 10, 2025 03:18 1m 17s
April 10, 2025 03:18 1m 17s
Update AARCH64 Refine and CRefine for explicit FPU changes Proof PR #3285: Pull request #873 synchronize by corlewis
April 10, 2025 03:18 3h 38m 42s
April 10, 2025 03:18 3h 38m 42s
Refactor det_ext to remove scheduler state PR #2979: Pull request #885 synchronize by corlewis
April 9, 2025 01:30 1m 10s det_ext_state
det_ext_state
April 9, 2025 01:30 1m 10s