Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
506 workflow runs
506 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix leftover typos and tweaks from #773 PR #2639: Pull request #790 opened by lsf37
July 11, 2024 07:35 56s platform-tweaks
platform-tweaks
July 11, 2024 07:35 56s
Several sorries in IpcCancel_C PR #2638: Pull request #789 opened by michaelmcinerney
July 11, 2024 05:29 1m 26s michaelm-isSchedulable_ccorres
michaelm-isSchedulable_ccorres
July 11, 2024 05:29 1m 26s
arch-split: Requalify enhancements PR #2637: Pull request #788 opened by Xaphiosis
July 11, 2024 03:34 54s Xaphiosis:arch_split
Xaphiosis:arch_split
July 11, 2024 03:34 54s
Some rules for Lib and CLib PR #2636: Pull request #785 synchronize by michaelmcinerney
July 11, 2024 02:25 45s michaelm-Lib_rules_July_2024
michaelm-Lib_rules_July_2024
July 11, 2024 02:25 45s
Some rules for Lib and CLib PR #2635: Pull request #785 synchronize by michaelmcinerney
July 10, 2024 12:47 57s michaelm-Lib_rules_July_2024
michaelm-Lib_rules_July_2024
July 10, 2024 12:47 57s
Some rules for Lib and CLib PR #2634: Pull request #785 synchronize by michaelmcinerney
July 10, 2024 10:07 52s michaelm-Lib_rules_July_2024
michaelm-Lib_rules_July_2024
July 10, 2024 10:07 52s
docs: add debugging tips for vcg goals PR #2633: Pull request #741 synchronize by lsf37
July 10, 2024 05:19 47s vcg-debugging
vcg-debugging
July 10, 2024 05:19 47s
docs: add debugging tips for vcg goals PR #2632: Pull request #741 synchronize by lsf37
July 10, 2024 02:34 49s vcg-debugging
vcg-debugging
July 10, 2024 02:34 49s
github: more authorised token for annotations PR #2631: Pull request #780 synchronize by lsf37
July 9, 2024 23:25 47s annotations
annotations
July 9, 2024 23:25 47s
github: more authorised token for annotations PR #2630: Pull request #780 synchronize by lsf37
July 9, 2024 23:22 51s annotations
annotations
July 9, 2024 23:22 51s
testing PR #2629: Pull request #786 opened by lsf37
July 9, 2024 23:17 1m 0s lsf37:annotations-test
lsf37:annotations-test
July 9, 2024 23:17 1m 0s
Some rules for Lib and CLib PR #2628: Pull request #785 opened by michaelmcinerney
July 9, 2024 10:15 57s michaelm-Lib_rules_July_2024
michaelm-Lib_rules_July_2024
July 9, 2024 10:15 57s
testing PR #2627: Pull request #784 synchronize by lsf37
July 9, 2024 07:41 45s annotations-test
annotations-test
July 9, 2024 07:41 45s
github: more authorised token for annotations PR #2626: Pull request #780 synchronize by lsf37
July 9, 2024 07:41 50s annotations
annotations
July 9, 2024 07:41 50s
testing PR #2625: Pull request #784 opened by lsf37
July 9, 2024 07:29 51s annotations-test
annotations-test
July 9, 2024 07:29 51s
github: more authorised token for annotations PR #2624: Pull request #780 synchronize by lsf37
July 9, 2024 07:29 39s annotations
annotations
July 9, 2024 07:29 39s
github: more authorised token for annotations PR #2623: Pull request #780 synchronize by lsf37
July 9, 2024 06:09 46s annotations
annotations
July 9, 2024 06:09 46s
Monads: resync trace monad with nondet PR #2622: Pull request #782 opened by corlewis
July 9, 2024 03:03 1m 51s corlewis:monad_improvements3
corlewis:monad_improvements3
July 9, 2024 03:03 1m 51s
testing PR #2621: Pull request #781 opened by lsf37
July 9, 2024 02:10 47s annotations-test
annotations-test
July 9, 2024 02:10 47s
github: more authorised token for annotations PR #2620: Pull request #780 synchronize by lsf37
July 9, 2024 02:09 56s annotations
annotations
July 9, 2024 02:09 56s
github: more authorised token for annotations PR #2619: Pull request #780 synchronize by lsf37
July 9, 2024 02:00 5m 2s annotations
annotations
July 9, 2024 02:00 5m 2s
github: more authorised token for annotations PR #2618: Pull request #780 synchronize by lsf37
July 9, 2024 01:47 49s annotations
annotations
July 9, 2024 01:47 49s
github: more authorised token for annotations PR #2617: Pull request #780 synchronize by lsf37
July 9, 2024 01:47 55s annotations
annotations
July 9, 2024 01:47 55s
github: more authorised token for annotations PR #2616: Pull request #780 opened by lsf37
July 9, 2024 01:31 44s annotations
annotations
July 9, 2024 01:31 44s
More monad improvements PR #2615: Pull request #765 synchronize by corlewis
July 9, 2024 01:11 52s corlewis:monad_improvements2
corlewis:monad_improvements2
July 9, 2024 01:11 52s