Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Weekly Clean Weekly Clean #158: Scheduled
August 3, 2024 15:04 3h 55m 2s master
master
August 3, 2024 15:04 3h 55m 2s
MCS: Remove grant right from reply cap CI #3206: Pull request #808 synchronize by corlewis
August 2, 2024 05:50 22s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 2, 2024 05:50 22s
MCS: Remove grant right from reply cap PR #2689: Pull request #808 synchronize by corlewis
August 2, 2024 05:50 47s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 2, 2024 05:50 47s
MCS: Remove grant right from reply cap Proof PR #2993: Pull request #808 synchronize by corlewis
August 2, 2024 05:50 3h 32m 7s
August 2, 2024 05:50 3h 32m 7s
MCS: Remove grant right from reply cap Lint #57: Pull request #808 synchronize by corlewis
August 2, 2024 05:50 47s
August 2, 2024 05:50 47s
MCS: Remove grant right from reply cap Proof PR #2992: Pull request #808 opened by corlewis
August 2, 2024 03:34 2h 39m 24s
August 2, 2024 03:34 2h 39m 24s
MCS: Remove grant right from reply cap Lint #56: Pull request #808 opened by corlewis
August 2, 2024 03:34 47s
August 2, 2024 03:34 47s
MCS: Remove grant right from reply cap PR #2688: Pull request #808 opened by corlewis
August 2, 2024 03:34 54s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 2, 2024 03:34 54s
MCS: Remove grant right from reply cap CI #3205: Pull request #808 opened by corlewis
August 2, 2024 03:34 27s corlewis/mcs-grant-via-reply
corlewis/mcs-grant-via-reply
August 2, 2024 03:34 27s
Overhaul arch-split in machine, ASpec and AInvs CI #3204: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:58 22s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
August 2, 2024 02:58 22s
Overhaul arch-split in machine, ASpec and AInvs PR #2687: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:58 52s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
August 2, 2024 02:58 52s
Overhaul arch-split in machine, ASpec and AInvs Lint #55: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:58 47s
August 2, 2024 02:58 47s
Overhaul arch-split in machine, ASpec and AInvs Proof PR #2991: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:58 2h 29m 33s
August 2, 2024 02:58 2h 29m 33s
Overhaul arch-split in machine, ASpec and AInvs PR #2686: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:54 50s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
August 2, 2024 02:54 50s
Overhaul arch-split in machine, ASpec and AInvs CI #3203: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:54 27s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
August 2, 2024 02:54 27s
Overhaul arch-split in machine, ASpec and AInvs Proof PR #2990: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:54 3m 54s
August 2, 2024 02:54 3m 54s
Overhaul arch-split in machine, ASpec and AInvs Lint #54: Pull request #805 synchronize by Xaphiosis
August 2, 2024 02:54 57s
August 2, 2024 02:54 57s
External External #73: Scheduled
August 1, 2024 15:02 3h 38m 51s master
master
August 1, 2024 15:02 3h 38m 51s
Prove schedContext_donate_ccorres CI #3202: Pull request #807 synchronize by michaelmcinerney
July 31, 2024 12:39 29s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
July 31, 2024 12:39 29s
Prove schedContext_donate_ccorres PR #2685: Pull request #807 synchronize by michaelmcinerney
July 31, 2024 12:39 1m 16s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
July 31, 2024 12:39 1m 16s
Prove schedContext_donate_ccorres Proof PR #2989: Pull request #807 synchronize by michaelmcinerney
July 31, 2024 12:39 1h 14m 2s
July 31, 2024 12:39 1h 14m 2s
Prove schedContext_donate_ccorres Lint #53: Pull request #807 synchronize by michaelmcinerney
July 31, 2024 12:39 50s
July 31, 2024 12:39 50s
Prove schedContext_donate_ccorres Lint #52: Pull request #807 opened by michaelmcinerney
July 31, 2024 05:38 49s
July 31, 2024 05:38 49s
Prove schedContext_donate_ccorres Proof PR #2988: Pull request #807 opened by michaelmcinerney
July 31, 2024 05:38 2h 22m 45s
July 31, 2024 05:38 2h 22m 45s
Prove schedContext_donate_ccorres CI #3201: Pull request #807 opened by michaelmcinerney
July 31, 2024 05:38 29s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
July 31, 2024 05:38 29s