Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,926 workflow runs
1,926 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add iommu support to microkit PR #1268: Pull request #467 synchronize by Cheng-Li1
Action required au-ts:cheng/iommu-support
au-ts:cheng/iommu-support
Action required
Add iommu support to microkit CI #1624: Pull request #467 synchronize by Cheng-Li1
Action required au-ts:cheng/iommu-support
au-ts:cheng/iommu-support
Action required
Add iommu support to microkit SDK #1607: Pull request #467 synchronize by Cheng-Li1
Action required au-ts:cheng/iommu-support
au-ts:cheng/iommu-support
Action required
Add iommu support to microkit PR #1267: Pull request #467 synchronize by Cheng-Li1
Action required au-ts:cheng/iommu-support
au-ts:cheng/iommu-support
Action required
Add iommu support to microkit CI #1623: Pull request #467 synchronize by Cheng-Li1
Action required au-ts:cheng/iommu-support
au-ts:cheng/iommu-support
Action required
Add iommu support to microkit SDK #1606: Pull request #467 synchronize by Cheng-Li1
Action required au-ts:cheng/iommu-support
au-ts:cheng/iommu-support
Action required
libmicrokit: add microkit_vcpu_x86_deferred_resume() call PR #1266: Pull request #431 synchronize by dreamliner787-9
57s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
57s
libmicrokit: add microkit_vcpu_x86_deferred_resume() call CI #1622: Pull request #431 synchronize by dreamliner787-9
37s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
37s
libmicrokit: add microkit_vcpu_x86_deferred_resume() call SDK #1605: Pull request #431 synchronize by dreamliner787-9
28m 55s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
28m 55s
tool: Separate argument parsing CI #1621: Commit b8f9768 pushed by Ivan-Velickovic
39s main
main
39s
tool: Separate argument parsing SDK #1604: Commit b8f9768 pushed by Ivan-Velickovic
44m 45s main
main
44m 45s
tool: Separate argument parsing CI #1620: Pull request #486 synchronize by Ivan-Velickovic
37s au-ts:viper/argparse
au-ts:viper/argparse
37s
tool: Separate argument parsing PR #1265: Pull request #486 synchronize by Ivan-Velickovic
1m 4s au-ts:viper/argparse
au-ts:viper/argparse
1m 4s
tool: Separate argument parsing SDK #1603: Pull request #486 synchronize by Ivan-Velickovic
1h 12m 52s au-ts:viper/argparse
au-ts:viper/argparse
1h 12m 52s
tool: Separate argument parsing PR #1264: Pull request #486 synchronize by Ivan-Velickovic
1m 35s au-ts:viper/argparse
au-ts:viper/argparse
1m 35s
tool: Separate argument parsing CI #1619: Pull request #486 synchronize by Ivan-Velickovic
42s au-ts:viper/argparse
au-ts:viper/argparse
42s
tool: Separate argument parsing SDK #1602: Pull request #486 synchronize by Ivan-Velickovic
2m 44s au-ts:viper/argparse
au-ts:viper/argparse
2m 44s
tool: Separate argument parsing PR #1263: Pull request #486 opened by zaklogician
1m 53s au-ts:viper/argparse
au-ts:viper/argparse
1m 53s
tool: Separate argument parsing CI #1618: Pull request #486 opened by zaklogician
42s au-ts:viper/argparse
au-ts:viper/argparse
42s
tool: Separate argument parsing SDK #1601: Pull request #486 opened by zaklogician
1m 20s au-ts:viper/argparse
au-ts:viper/argparse
1m 20s
manual: add x86 IRQ vector bound + priority note SDK #1600: Commit d5c37fd pushed by Ivan-Velickovic
29m 42s main
main
29m 42s
manual: add x86 IRQ vector bound + priority note CI #1617: Commit d5c37fd pushed by Ivan-Velickovic
50s main
main
50s
tool: fix regression from bde5eb CI #1616: Commit 0ad3891 pushed by Ivan-Velickovic
46s main
main
46s
tool: fix regression from bde5eb SDK #1599: Commit 0ad3891 pushed by Ivan-Velickovic
30m 18s main
main
30m 18s
tool: fix regression from bde5eb PR #1262: Pull request #485 opened by Ivan-Velickovic
23m 46s fix_regression
fix_regression
23m 46s