Skip to content

Actions: seL4/microkit

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
774 workflow runs
774 workflow runs

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(cleanup): add sdf_parse_attribute() functions to decrease duplication PR #1553: Pull request #592 opened by midnightveil
33m 9s julia/parsing-cleanup
julia/parsing-cleanup
33m 9s
Support badged SMC caps to restrict SMC function IDs PR #1552: Pull request #589 synchronize by midnightveil
31m 13s au-ts:julia/badged-smc
au-ts:julia/badged-smc
31m 13s
tool(cleanup): use names not IDs for PDs PR #1551: Pull request #590 synchronize by midnightveil
33m 4s au-ts:julia/use-names-not-id
au-ts:julia/use-names-not-id
33m 4s
tool(cleanup): use names not IDs for PDs PR #1550: Pull request #590 opened by midnightveil
4m 1s au-ts:julia/use-names-not-id
au-ts:julia/use-names-not-id
4m 1s
Support badged SMC caps to restrict SMC function IDs PR #1549: Pull request #589 synchronize by midnightveil
50m 49s au-ts:julia/badged-smc
au-ts:julia/badged-smc
50m 49s
Support badged SMC caps to restrict SMC function IDs PR #1548: Pull request #589 synchronize by midnightveil
31m 6s au-ts:julia/badged-smc
au-ts:julia/badged-smc
31m 6s
tool: separate tree parsing and xml parsing PR #1547: Pull request #588 synchronize by sfulham
31m 52s sfulham:main
sfulham:main
31m 52s
Support badged SMC caps to restrict SMC function IDs PR #1546: Pull request #589 opened by midnightveil
31m 7s au-ts:julia/badged-smc
au-ts:julia/badged-smc
31m 7s
tool: separate tree parsing and xml parsing PR #1545: Pull request #588 opened by sfulham
33m 15s sfulham:main
sfulham:main
33m 15s
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 PR #1543: Pull request #587 synchronize by sfulham
2m 58s sfulham:main
sfulham:main
2m 58s
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 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
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 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 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 PR #1535: Pull request #584 synchronize by sfulham
34m 40s sfulham:main
sfulham:main
34m 40s
tool: refactor main to move out kernel configuration and binary generation PR #1534: Pull request #584 synchronize by sfulham
1h 14m 57s sfulham:main
sfulham:main
1h 14m 57s
tool: refactor main to move out kernel configuration and binary generation PR #1533: Pull request #584 synchronize by sfulham
13m 57s sfulham:main
sfulham:main
13m 57s
tool: refactor main to move out kernel configuration and binary generation PR #1532: Pull request #584 opened by sfulham
32m 39s sfulham:main
sfulham:main
32m 39s
[draft] libmicrokit: API for 64-bit number debug print PR #1531: Pull request #583 synchronize by ZGwtao
32m 48s ZGwtao:tmp-dbg_put64
ZGwtao:tmp-dbg_put64
32m 48s
[draft] libmicrokit: API for 64-bit number debug print PR #1530: Pull request #583 opened by ZGwtao
35m 48s ZGwtao:tmp-dbg_put64
ZGwtao:tmp-dbg_put64
35m 48s
template-pd: introduce 'template' attribute in sdf PR #1529: Pull request #582 synchronize by ZGwtao
33m 12s ZGwtao:empty-pd
ZGwtao:empty-pd
33m 12s