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: 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
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 CI #1948: Pull request #584 synchronize by sfulham
43s sfulham:main
sfulham:main
43s
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 CI #1947: Pull request #584 synchronize by sfulham
37s sfulham:main
sfulham:main
37s
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
tool: refactor main to move out kernel configuration and binary generation CI #1946: Pull request #584 opened by sfulham
41s sfulham:main
sfulham:main
41s
[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 CI #1945: Pull request #583 synchronize by ZGwtao
39s ZGwtao:tmp-dbg_put64
ZGwtao:tmp-dbg_put64
39s
[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
[draft] libmicrokit: API for 64-bit number debug print CI #1944: Pull request #583 opened by ZGwtao
40s ZGwtao:tmp-dbg_put64
ZGwtao:tmp-dbg_put64
40s
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
template-pd: introduce 'template' attribute in sdf CI #1943: Pull request #582 synchronize by ZGwtao
33s ZGwtao:empty-pd
ZGwtao:empty-pd
33s
template-pd: introduce 'template' attribute in sdf PR #1528: Pull request #582 synchronize by ZGwtao
3m 52s ZGwtao:empty-pd
ZGwtao:empty-pd
3m 52s