Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lib: Requalify_Test: add example of requalify-hide-requalify CI #3234: Commit 53f44de pushed by Xaphiosis
August 28, 2024 05:17 25s master
master
August 28, 2024 05:17 25s
lib: Requalify: better document annotation CI #3233: Pull request #813 synchronize by Xaphiosis
August 27, 2024 10:08 26s Xaphiosis:arch-split_requalify_anno
Xaphiosis:arch-split_requalify_anno
August 27, 2024 10:08 26s
lib: Requalify: better document annotation PR #2711: Pull request #813 synchronize by Xaphiosis
August 27, 2024 10:08 55s Xaphiosis:arch-split_requalify_anno
Xaphiosis:arch-split_requalify_anno
August 27, 2024 10:08 55s
lib: Requalify: better document annotation Proof PR #3014: Pull request #813 synchronize by Xaphiosis
August 27, 2024 10:08 3h 5m 6s
August 27, 2024 10:08 3h 5m 6s
lib: Requalify: better document annotation Lint #79: Pull request #813 synchronize by Xaphiosis
August 27, 2024 10:08 51s
August 27, 2024 10:08 51s
lib: Requalify: better document annotation PR #2710: Pull request #813 opened by Xaphiosis
August 27, 2024 04:52 54s Xaphiosis:arch-split_requalify_anno
Xaphiosis:arch-split_requalify_anno
August 27, 2024 04:52 54s
lib: Requalify: better document annotation CI #3232: Pull request #813 opened by Xaphiosis
August 27, 2024 04:52 26s Xaphiosis:arch-split_requalify_anno
Xaphiosis:arch-split_requalify_anno
August 27, 2024 04:52 26s
lib: Requalify: better document annotation Lint #78: Pull request #813 opened by Xaphiosis
August 27, 2024 04:52 43s
August 27, 2024 04:52 43s
lib: Requalify: better document annotation Proof PR #3013: Pull request #813 opened by Xaphiosis
August 27, 2024 04:52 29m 8s
August 27, 2024 04:52 29m 8s
Weekly Clean Weekly Clean #161: Scheduled
August 24, 2024 15:04 3h 40m 17s master
master
August 24, 2024 15:04 3h 40m 17s
rebase Rebase #7: Repository dispatch triggered by github-actions bot
August 20, 2024 18:16 23s
August 20, 2024 18:16 23s
lib: Requalify: enable ctrl+click jumps for arch_requalify Proofs #973: Commit 92971ee pushed by Xaphiosis
August 20, 2024 18:15 3h 14m 52s master
master
August 20, 2024 18:15 3h 14m 52s
lib: Requalify: enable ctrl+click jumps for arch_requalify CI #3231: Commit 92971ee pushed by Xaphiosis
August 20, 2024 18:15 25s master
master
August 20, 2024 18:15 25s
lib: Requalify: enable ctrl+click jumps for arch_requalify PR #2709: Pull request #812 synchronize by Xaphiosis
August 20, 2024 08:29 41s Xaphiosis:arch_requalify
Xaphiosis:arch_requalify
August 20, 2024 08:29 41s
lib: Requalify: enable ctrl+click jumps for arch_requalify CI #3230: Pull request #812 synchronize by Xaphiosis
August 20, 2024 08:29 29s Xaphiosis:arch_requalify
Xaphiosis:arch_requalify
August 20, 2024 08:29 29s
lib: Requalify: enable ctrl+click jumps for arch_requalify Lint #77: Pull request #812 synchronize by Xaphiosis
August 20, 2024 08:29 44s
August 20, 2024 08:29 44s
lib: Requalify: enable ctrl+click jumps for arch_requalify Proof PR #3012: Pull request #812 synchronize by Xaphiosis
August 20, 2024 08:29 3h 0m 29s
August 20, 2024 08:29 3h 0m 29s
lib: Requalify: enable ctrl+click jumps for arch_requalify PR #2708: Pull request #812 opened by Xaphiosis
August 20, 2024 03:10 52s Xaphiosis:arch_requalify
Xaphiosis:arch_requalify
August 20, 2024 03:10 52s
lib: Requalify: enable ctrl+click jumps for arch_requalify CI #3229: Pull request #812 opened by Xaphiosis
August 20, 2024 03:10 23s Xaphiosis:arch_requalify
Xaphiosis:arch_requalify
August 20, 2024 03:10 23s
lib: Requalify: enable ctrl+click jumps for arch_requalify Lint #76: Pull request #812 opened by Xaphiosis
August 20, 2024 03:10 44s
August 20, 2024 03:10 44s
lib: Requalify: enable ctrl+click jumps for arch_requalify Proof PR #3011: Pull request #812 opened by Xaphiosis
August 20, 2024 03:10 2h 57m 41s
August 20, 2024 03:10 2h 57m 41s
rebase Rebase #6: Repository dispatch triggered by github-actions bot
August 19, 2024 08:34 24s
August 19, 2024 08:34 24s
refine+crefine: update for arch_requalify design spec updates Proofs #972: Commit e00f7b4 pushed by lsf37
August 19, 2024 08:34 3h 22m 28s master
master
August 19, 2024 08:34 3h 22m 28s
refine+crefine: update for arch_requalify design spec updates CI #3228: Commit e00f7b4 pushed by lsf37
August 19, 2024 08:34 38s master
master
August 19, 2024 08:34 38s
Arch-split overhaul for design spec PR #2707: Pull request #809 synchronize by Xaphiosis
August 19, 2024 02:13 48s Xaphiosis:arch-split_design
Xaphiosis:arch-split_design
August 19, 2024 02:13 48s