Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove cancelIPC_ccorres1 Proof PR #3092: Pull request #831 synchronize by nspin
December 9, 2024 08:04 1h 7m 38s
December 9, 2024 08:04 1h 7m 38s
Prove cancelIPC_ccorres1 Lint #157: Pull request #831 synchronize by nspin
December 9, 2024 08:04 44s
December 9, 2024 08:04 44s
arch-split Refine up to Invariants_H for AARCH64 (Draft) PR #2788: Pull request #833 synchronize by Xaphiosis
December 9, 2024 07:53 59s Xaphiosis:arch-split
Xaphiosis:arch-split
December 9, 2024 07:53 59s
arch-split Refine up to Invariants_H for AARCH64 (Draft) CI #3322: Pull request #833 synchronize by Xaphiosis
December 9, 2024 07:53 24s Xaphiosis:arch-split
Xaphiosis:arch-split
December 9, 2024 07:53 24s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3091: Pull request #833 synchronize by Xaphiosis
December 9, 2024 07:53 51s
December 9, 2024 07:53 51s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Lint #156: Pull request #833 synchronize by Xaphiosis
December 9, 2024 07:53 44s
December 9, 2024 07:53 44s
Prove cancelIPC_ccorres1 CI #3321: Pull request #831 synchronize by nspin
December 9, 2024 07:46 35s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 9, 2024 07:46 35s
Prove cancelIPC_ccorres1 Proof PR #3090: Pull request #831 synchronize by nspin
December 9, 2024 07:46 2h 9m 35s
December 9, 2024 07:46 2h 9m 35s
Prove cancelIPC_ccorres1 PR #2787: Pull request #831 synchronize by nspin
December 9, 2024 07:46 47s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 9, 2024 07:46 47s
Prove cancelIPC_ccorres1 Lint #155: Pull request #831 synchronize by nspin
December 9, 2024 07:46 1m 6s
December 9, 2024 07:46 1m 6s
Style guide: _tac instantiations and attributes CI #3320: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:41 29s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 04:41 29s
Style guide: _tac instantiations and attributes PR #2786: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:41 50s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 04:41 50s
Style guide: _tac instantiations and attributes Proof PR #3089: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:41 16m 0s
December 9, 2024 04:41 16m 0s
Style guide: _tac instantiations and attributes Lint #154: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:41 43s
December 9, 2024 04:41 43s
Style guide: _tac instantiations and attributes PR #2785: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:15 1m 7s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 04:15 1m 7s
Style guide: _tac instantiations and attributes CI #3319: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:15 37s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 04:15 37s
Style guide: _tac instantiations and attributes Lint #153: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:15 42s
December 9, 2024 04:15 42s
Style guide: _tac instantiations and attributes Proof PR #3088: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:15 29s
December 9, 2024 04:15 29s
arch-split Refine up to Invariants_H for AARCH64 (Draft) CI #3318: Pull request #833 synchronize by Xaphiosis
December 9, 2024 03:35 33s Xaphiosis:arch-split
Xaphiosis:arch-split
December 9, 2024 03:35 33s
arch-split Refine up to Invariants_H for AARCH64 (Draft) PR #2784: Pull request #833 synchronize by Xaphiosis
December 9, 2024 03:35 50s Xaphiosis:arch-split
Xaphiosis:arch-split
December 9, 2024 03:35 50s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Lint #152: Pull request #833 synchronize by Xaphiosis
December 9, 2024 03:35 54s
December 9, 2024 03:35 54s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3087: Pull request #833 synchronize by Xaphiosis
December 9, 2024 03:35 1m 26s
December 9, 2024 03:35 1m 26s
Weekly Clean Weekly Clean #176: Scheduled
December 7, 2024 15:03 3h 49m 16s master
master
December 7, 2024 15:03 3h 49m 16s
rebase Rebase #39: Repository dispatch triggered by github-actions bot
December 6, 2024 05:38 25s
December 6, 2024 05:38 25s
github: fix concurrency group syntax Proofs #1016: Commit 5cb6342 pushed by lsf37
December 6, 2024 05:38 2h 10m 29s master
master
December 6, 2024 05:38 2h 10m 29s