Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
tool: remove XML dependency for SDF parsing CI #1961: Commit 2518115 pushed by midnightveil
40s main
main
40s
tool: remove XML dependency for SDF parsing Deploy #52: Commit 2518115 pushed by midnightveil
44m 21s main
main
44m 21s
tool: remove roxmltree::Document from XmlSystemDescription PR #1544: Pull request #587 synchronize by sfulham
32m 34s sfulham:main
sfulham:main
32m 34s
tool: remove roxmltree::Document from XmlSystemDescription CI #1960: Pull request #587 synchronize by sfulham
39s sfulham:main
sfulham:main
39s
tool: remove roxmltree::Document from XmlSystemDescription CI #1959: Pull request #587 synchronize by sfulham
37s sfulham:main
sfulham:main
37s
tool: remove roxmltree::Document from XmlSystemDescription PR #1543: Pull request #587 synchronize by sfulham
2m 58s sfulham:main
sfulham:main
2m 58s
tool: remove roxmltree::Document from XmlSystemDescription CI #1958: Pull request #587 opened by sfulham
1m 8s sfulham:main
sfulham:main
1m 8s
tool: remove roxmltree::Document from XmlSystemDescription PR #1542: Pull request #587 opened by sfulham
2m 24s sfulham:main
sfulham:main
2m 24s
domains: Set domain of VM VCPUs to domain of PD CI #1957: Commit 8ba1202 pushed by midnightveil
32s main
main
32s
domains: Set domain of VM VCPUs to domain of PD Deploy #51: Commit 8ba1202 pushed by midnightveil
1h 17m 27s main
main
1h 17m 27s
domains: Set domain of VM VCPUs to domain of PD CI #1956: Pull request #586 synchronize by Furao
43s dornerworks:fix_vm_domain_sched
dornerworks:fix_vm_domain_sched
43s
domains: Set domain of VM VCPUs to domain of PD PR #1541: Pull request #586 synchronize by Furao
32m 36s dornerworks:fix_vm_domain_sched
dornerworks:fix_vm_domain_sched
32m 36s
domains: Set domain of VM VCPUs to domain of PD PR #1540: Pull request #586 opened by Furao
32m 5s dornerworks:fix_vm_domain_sched
dornerworks:fix_vm_domain_sched
32m 5s
domains: Set domain of VM VCPUs to domain of PD CI #1955: Pull request #586 opened by Furao
57s dornerworks:fix_vm_domain_sched
dornerworks:fix_vm_domain_sched
57s
Tool: Move image generation out of main CI #1954: Commit 32180a1 pushed by midnightveil
25s main
main
25s
Tool: Move image generation out of main Deploy #50: Commit 32180a1 pushed by midnightveil
42m 36s main
main
42m 36s
tool: refactor main to move out kernel configuration and binary generation CI #1953: Pull request #584 synchronize by sfulham
50s sfulham:main
sfulham:main
50s
tool: refactor main to move out kernel configuration and binary generation PR #1539: Pull request #584 synchronize by sfulham
33m 56s sfulham:main
sfulham:main
33m 56s
tool: refactor main to move out kernel configuration and binary generation PR #1538: Pull request #584 synchronize by sfulham
2m 7s sfulham:main
sfulham:main
2m 7s
tool: refactor main to move out kernel configuration and binary generation CI #1952: Pull request #584 synchronize by sfulham
42s sfulham:main
sfulham:main
42s
tool: refactor main to move out kernel configuration and binary generation CI #1951: Pull request #584 synchronize by sfulham
47s sfulham:main
sfulham:main
47s
tool: refactor main to move out kernel configuration and binary generation PR #1537: Pull request #584 synchronize by sfulham
30m 17s sfulham:main
sfulham:main
30m 17s
tool: refactor main to move out kernel configuration and binary generation CI #1950: Pull request #584 synchronize by sfulham
41s sfulham:main
sfulham:main
41s
tool: refactor main to move out kernel configuration and binary generation PR #1536: Pull request #584 synchronize by sfulham
4m 51s sfulham:main
sfulham:main
4m 51s
tool: refactor main to move out kernel configuration and binary generation CI #1949: Pull request #584 synchronize by sfulham
43s sfulham:main
sfulham:main
43s