Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
552 workflow runs
552 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Overhaul arch-split in machine, ASpec and AInvs PR #2691: Pull request #805 synchronize by Xaphiosis
August 8, 2024 01:43 50s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
August 8, 2024 01:43 50s
Prove schedContext_donate_ccorres PR #2690: Pull request #807 synchronize by michaelmcinerney
August 7, 2024 12:13 1m 2s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
August 7, 2024 12:13 1m 2s
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 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
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 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
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 PR #2684: Pull request #807 opened by michaelmcinerney
July 31, 2024 05:38 44s michaelm-schedContext_donate_ccorres
michaelm-schedContext_donate_ccorres
July 31, 2024 05:38 44s
Overhaul arch-split in machine, ASpec and AInvs PR #2683: Pull request #805 opened by Xaphiosis
July 26, 2024 03:47 46s Xaphiosis:arch-split_ainvs
Xaphiosis:arch-split_ainvs
July 26, 2024 03:47 46s
github: factor out platform rebase into own workflow PR #2682: Pull request #803 synchronize by lsf37
July 26, 2024 01:58 56s rebase-dispatch
rebase-dispatch
July 26, 2024 01:58 56s
github: re-trigger platform branch rebase on master PR #2681: Pull request #804 opened by lsf37
July 26, 2024 00:45 51s im8x-rebase-trigger
im8x-rebase-trigger
July 26, 2024 00:45 51s
github: factor out platform rebase into own workflow PR #2680: Pull request #803 synchronize by lsf37
July 26, 2024 00:44 51s rebase-dispatch
rebase-dispatch
July 26, 2024 00:44 51s
github: factor out platform rebase into own workflow PR #2679: Pull request #803 opened by lsf37
July 26, 2024 00:44 46s rebase-dispatch
rebase-dispatch
July 26, 2024 00:44 46s
README: adjust CI proof badges PR #2678: Pull request #802 synchronize by lsf37
July 26, 2024 00:41 56s readme-rt-badge
readme-rt-badge
July 26, 2024 00:41 56s
README: adjust CI proof badges PR #2677: Pull request #802 opened by lsf37
July 26, 2024 00:04 47s readme-rt-badge
readme-rt-badge
July 26, 2024 00:04 47s
Update arch-split doc; rename arch_split->arch-split PR #2676: Pull request #801 synchronize by Xaphiosis
July 25, 2024 05:10 57s Xaphiosis:arch_split_doc
Xaphiosis:arch_split_doc
July 25, 2024 05:10 57s
Prove awaken_ccorres PR #2675: Pull request #796 synchronize by michaelmcinerney
July 24, 2024 13:30 1m 10s michaelm-awaken_ccorres
michaelm-awaken_ccorres
July 24, 2024 13:30 1m 10s
Prove awaken_ccorres PR #2674: Pull request #796 synchronize by michaelmcinerney
July 24, 2024 13:29 1m 0s michaelm-awaken_ccorres
michaelm-awaken_ccorres
July 24, 2024 13:29 1m 0s
Update arch-split doc; rename arch_split->arch-split PR #2673: Pull request #801 opened by Xaphiosis
July 24, 2024 01:35 53s Xaphiosis:arch_split_doc
Xaphiosis:arch_split_doc
July 24, 2024 01:35 53s
Prove awaken_ccorres PR #2672: Pull request #796 synchronize by michaelmcinerney
July 23, 2024 07:34 47s michaelm-awaken_ccorres
michaelm-awaken_ccorres
July 23, 2024 07:34 47s
[WIP] Opinionated deployment of enhanced Requalify capabilities on AInvs PR #2671: Pull request #791 synchronize by Xaphiosis
July 23, 2024 05:11 52s Xaphiosis:arch_split_ainvs
Xaphiosis:arch_split_ainvs
July 23, 2024 05:11 52s
arch-split: Requalify enhancements PR #2670: Pull request #788 synchronize by Xaphiosis
July 23, 2024 03:25 43s Xaphiosis:arch_split
Xaphiosis:arch_split
July 23, 2024 03:25 43s
arch-split: Requalify enhancements PR #2669: Pull request #788 synchronize by Xaphiosis
July 23, 2024 02:52 54s Xaphiosis:arch_split
Xaphiosis:arch_split
July 23, 2024 02:52 54s
[WIP] Opinionated deployment of enhanced Requalify capabilities on AInvs PR #2668: Pull request #791 synchronize by Xaphiosis
July 23, 2024 02:43 51s Xaphiosis:arch_split_ainvs
Xaphiosis:arch_split_ainvs
July 23, 2024 02:43 51s
merge master into rt PR #2667: Pull request #800 synchronize by lsf37
July 23, 2024 02:11 56s rt-merge-workflows
rt-merge-workflows
July 23, 2024 02:11 56s