Skip to content

Actions: seL4/microkit

Actions

SDK

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sdk.yaml
580 workflow runs
580 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tool: fix clippy SDK #1290: Commit 40a2c91 pushed by Ivan-Velickovic
44m 26s main
main
44m 26s
ci: run style check with expected Rust toolchain SDK #1289: Pull request #408 synchronize by Ivan-Velickovic
29m 21s ci_style_fix
ci_style_fix
29m 21s
ci: run style check with expected Rust toolchain SDK #1288: Pull request #408 synchronize by Ivan-Velickovic
5m 12s ci_style_fix
ci_style_fix
5m 12s
ci: run style check with expected Rust toolchain SDK #1287: Pull request #408 synchronize by Ivan-Velickovic
47s ci_style_fix
ci_style_fix
47s
ci: run style check with expected Rust toolchain SDK #1286: Pull request #408 synchronize by Ivan-Velickovic
1m 1s ci_style_fix
ci_style_fix
1m 1s
ci: use --release-packaging flag for SDK SDK #1285: Commit 050bdb2 pushed by Ivan-Velickovic
44m 49s main
main
44m 49s
ci: use --release-packaging flag SDK #1284: Pull request #409 synchronize by Ivan-Velickovic
28m 57s release_packaging
release_packaging
28m 57s
ci: use --release-packaging flag SDK #1283: Pull request #409 synchronize by Ivan-Velickovic
24m 35s release_packaging
release_packaging
24m 35s
ci: run style check with expected Rust toolchain SDK #1282: Pull request #408 synchronize by Ivan-Velickovic
1h 43m 34s ci_style_fix
ci_style_fix
1h 43m 34s
ci: use --release-packaging flag SDK #1281: Pull request #409 synchronize by Ivan-Velickovic
45m 31s release_packaging
release_packaging
45m 31s
ci: use --release-packaging flag SDK #1280: Pull request #409 synchronize by Ivan-Velickovic
5m 11s release_packaging
release_packaging
5m 11s
ci: use --release-packaging flag SDK #1279: Pull request #409 opened by Ivan-Velickovic
2m 0s release_packaging
release_packaging
2m 0s
tool: avoid panic when ELF parsing fails SDK #1278: Commit 7d781b1 pushed by Ivan-Velickovic
2h 0m 21s main
main
2h 0m 21s
Enable mapping extra TCB and SC caps into PD's SDK #1277: Pull request #406 synchronize by Kswin01
1h 39m 7s au-ts:cap_sharing
au-ts:cap_sharing
1h 39m 7s
ci: run style check with expected Rust toolchain SDK #1276: Pull request #408 opened by Ivan-Velickovic
1h 5m 40s ci_style_fix
ci_style_fix
1h 5m 40s
Enable mapping extra TCB and SC caps into PD's SDK #1275: Pull request #406 synchronize by Kswin01
4m 43s au-ts:cap_sharing
au-ts:cap_sharing
4m 43s
tool: avoid panic when ELF parsing fails SDK #1274: Pull request #407 synchronize by Ivan-Velickovic
44m 24s elf_error_handling
elf_error_handling
44m 24s
tool: avoid panic when ELF parsing fails SDK #1273: Pull request #407 opened by Ivan-Velickovic
31s elf_error_handling
elf_error_handling
31s
Enable mapping extra TCB and SC caps into PD's SDK #1272: Pull request #406 synchronize by Kswin01
5m 35s au-ts:cap_sharing
au-ts:cap_sharing
5m 35s
Enable mapping extra TCB and SC caps into PD's SDK #1271: Pull request #406 synchronize by Kswin01
2m 45s au-ts:cap_sharing
au-ts:cap_sharing
2m 45s
Enable mapping extra TCB and SC caps into PD's SDK #1270: Pull request #406 opened by Kswin01
11m 35s au-ts:cap_sharing
au-ts:cap_sharing
11m 35s
Add support for FPU flag for PDs SDK #1269: Pull request #404 synchronize by JDuchniewicz
Action required au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
Action required
Add support for Radxa Rock3b board SDK #1268: Pull request #356 synchronize by JDuchniewicz
23m 31s au-ts:jakub/rock3b
au-ts:jakub/rock3b
23m 31s
Add support for FPU flag for PDs SDK #1267: Pull request #404 synchronize by JDuchniewicz
Action required au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
Action required
Add support for FPU flag for PDs SDK #1266: Pull request #404 synchronize by JDuchniewicz
Action required au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
Action required