Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

access+infoflow: relax conditions CI #3502: Pull request #876 opened by ryybrr
March 25, 2025 03:09 28s ryanb-relax
ryanb-relax
March 25, 2025 03:09 28s
access+infoflow: relax conditions PR #2940: Pull request #876 opened by ryybrr
March 25, 2025 03:09 58s ryanb-relax
ryanb-relax
March 25, 2025 03:09 58s
access+infoflow: relax conditions Lint #311: Pull request #876 opened by ryybrr
March 25, 2025 03:09 47s
March 25, 2025 03:09 47s
access+infoflow: relax conditions Proof PR #3246: Pull request #876 opened by ryybrr
March 25, 2025 03:09 3h 2m 49s
March 25, 2025 03:09 3h 2m 49s
rt crefine: prove cancelIPC_ccorres1 Proofs #1128: Commit 6c01467 pushed by michaelmcinerney
March 25, 2025 01:58 1h 17m 12s rt
rt
March 25, 2025 01:58 1h 17m 12s
rt crefine: prove cancelIPC_ccorres1 CI #3501: Commit 6c01467 pushed by michaelmcinerney
March 25, 2025 01:58 22s rt
rt
March 25, 2025 01:58 22s
Prove cancelIPC_ccorres1 PR #2939: Pull request #831 synchronize by michaelmcinerney
March 25, 2025 01:46 1m 1s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
March 25, 2025 01:46 1m 1s
Prove cancelIPC_ccorres1 CI #3500: Pull request #831 synchronize by michaelmcinerney
March 25, 2025 01:46 25s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
March 25, 2025 01:46 25s
Prove cancelIPC_ccorres1 Lint #310: Pull request #831 synchronize by michaelmcinerney
March 25, 2025 01:46 44s
March 25, 2025 01:46 44s
Prove cancelIPC_ccorres1 Proof PR #3245: Pull request #831 synchronize by michaelmcinerney
March 25, 2025 01:46 11m 7s
March 25, 2025 01:46 11m 7s
Prove cancelIPC_ccorres1 CI #3499: Pull request #831 synchronize by michaelmcinerney
March 24, 2025 23:06 29s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
March 24, 2025 23:06 29s
Prove cancelIPC_ccorres1 PR #2938: Pull request #831 synchronize by michaelmcinerney
March 24, 2025 23:06 1m 0s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
March 24, 2025 23:06 1m 0s
Prove cancelIPC_ccorres1 Lint #309: Pull request #831 synchronize by michaelmcinerney
March 24, 2025 23:06 45s
March 24, 2025 23:06 45s
Prove cancelIPC_ccorres1 Proof PR #3244: Pull request #831 synchronize by michaelmcinerney
March 24, 2025 23:06 1h 19m 18s
March 24, 2025 23:06 1h 19m 18s
rt spec+proof: prove sendSignal_ccorres Proofs #1127: Commit e4a2dc9 pushed by michaelmcinerney
March 24, 2025 04:39 2h 43m 6s rt
rt
March 24, 2025 04:39 2h 43m 6s
rt spec+proof: prove sendSignal_ccorres CI #3498: Commit e4a2dc9 pushed by michaelmcinerney
March 24, 2025 04:39 27s rt
rt
March 24, 2025 04:39 27s
config_set wrap and GICv3 support for ARM and ARM_HYP PR #2937: Pull request #875 opened by lsf37
March 23, 2025 23:59 52s config-set-int-wrap
config-set-int-wrap
March 23, 2025 23:59 52s
config_set wrap and GICv3 support for ARM and ARM_HYP CI #3497: Pull request #875 opened by lsf37
March 23, 2025 23:59 25s config-set-int-wrap
config-set-int-wrap
March 23, 2025 23:59 25s
config_set wrap and GICv3 support for ARM and ARM_HYP Proof PR #3243: Pull request #875 opened by lsf37
March 23, 2025 23:59 16m 45s
March 23, 2025 23:59 16m 45s
config_set wrap and GICv3 support for ARM and ARM_HYP Lint #308: Pull request #875 opened by lsf37
March 23, 2025 23:59 42s
March 23, 2025 23:59 42s
github: add imx8mm workflow for branch push Proofs #1126: Commit 7d544ba pushed by seL4-ci
March 23, 2025 23:50 1h 57m 34s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
March 23, 2025 23:50 1h 57m 34s
rebase Rebase #105: Repository dispatch triggered by github-actions bot
March 23, 2025 23:49 27s
March 23, 2025 23:49 27s
manifest-update Proofs #1125: Repository dispatch triggered by seL4-ci
March 23, 2025 23:49 3h 26m 29s
March 23, 2025 23:49 3h 26m 29s
Update AARCH64 Refine and CRefine for explicit FPU changes PR #2936: Pull request #873 synchronize by corlewis
March 23, 2025 22:57 54s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 23, 2025 22:57 54s
Update AARCH64 Refine and CRefine for explicit FPU changes CI #3496: Pull request #873 synchronize by corlewis
March 23, 2025 22:57 25s corlewis:explicit_fpu_aarch64
corlewis:explicit_fpu_aarch64
March 23, 2025 22:57 25s