Skip to content

Actions: seL4/microkit

Actions

SDK

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sdk.yaml
25 workflow run results
25 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[c-parser] remove continue statement SDK #68: Pull request #85 synchronize by isubasinghe
November 28, 2023 02:31 7m 23s isubasinghe:remove-continue
isubasinghe:remove-continue
November 28, 2023 02:31 7m 23s
[c-parser] remove continue statement SDK #67: Pull request #85 opened by isubasinghe
November 28, 2023 02:10 7m 18s isubasinghe:remove-continue
isubasinghe:remove-continue
November 28, 2023 02:10 7m 18s
added concat of headers as a build output SDK #66: Pull request #84 synchronize by isubasinghe
November 26, 2023 23:32 7m 0s isubasinghe:verification-non-nix
isubasinghe:verification-non-nix
November 26, 2023 23:32 7m 0s
added concat of headers as a build output SDK #65: Pull request #84 opened by isubasinghe
November 26, 2023 23:31 7m 9s isubasinghe:verification-non-nix
isubasinghe:verification-non-nix
November 26, 2023 23:31 7m 9s
Omit 'as' debug level for toolchain compatability SDK #64: Commit ff8d4a8 pushed by Ivan-Velickovic
November 21, 2023 04:41 7m 34s main
main
November 21, 2023 04:41 7m 34s
Omit assembler debug level to improve toolchain compatability SDK #63: Pull request #79 synchronize by Ivan-Velickovic
November 21, 2023 04:32 7m 12s nspin:pr/improve-toolchain-compatibility
nspin:pr/improve-toolchain-compatibility
November 21, 2023 04:32 7m 12s
manual: fix wording SDK #62: Commit 2f703d5 pushed by Ivan-Velickovic
November 20, 2023 13:03 7m 1s main
main
November 20, 2023 13:03 7m 1s
Minor fixes to manual SDK #61: Pull request #83 opened by Ivan-Velickovic
November 20, 2023 13:02 7m 23s manual_typo_fix
manual_typo_fix
November 20, 2023 13:02 7m 23s
tool: Handle unaligned PD segments SDK #60: Pull request #81 synchronize by nspin
October 25, 2023 23:27 10m 14s nspin:pr/unaligned-segments
nspin:pr/unaligned-segments
October 25, 2023 23:27 10m 14s
tool: Handle unaligned PD segments SDK #59: Pull request #81 opened by nspin
October 25, 2023 22:43 11m 30s nspin:pr/unaligned-segments
nspin:pr/unaligned-segments
October 25, 2023 22:43 11m 30s
monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE SDK #58: Pull request #80 opened by nspin
October 25, 2023 18:16 9m 33s nspin:pr/increase-bootstrap-invocation-data-size
nspin:pr/increase-bootstrap-invocation-data-size
October 25, 2023 18:16 9m 33s
tool: Add __str__ and __repr__ methods to Sel4Aarch64Regs SDK #57: Pull request #78 synchronize by nspin
October 25, 2023 18:02 9m 8s nspin:pr/fix-report
nspin:pr/fix-report
October 25, 2023 18:02 9m 8s
Omit assembler debug level to improve toolchain compatability SDK #56: Pull request #79 synchronize by nspin
October 25, 2023 18:01 8m 59s nspin:pr/improve-toolchain-compatibility
nspin:pr/improve-toolchain-compatibility
October 25, 2023 18:01 8m 59s
Omit assembler debug level to improve toolchain compatability SDK #55: Pull request #79 opened by nspin
October 25, 2023 17:56 10m 20s nspin:pr/improve-toolchain-compatibility
nspin:pr/improve-toolchain-compatibility
October 25, 2023 17:56 10m 20s
tool: Add __str__ and __repr__ methods to Sel4Aarch64Regs SDK #54: Pull request #78 synchronize by nspin
October 25, 2023 17:19 11m 22s nspin:pr/fix-report
nspin:pr/fix-report
October 25, 2023 17:19 11m 22s
tool: Add __str__ and __repr__ methods to Sel4Aarch64Regs SDK #53: Pull request #78 opened by nspin
October 25, 2023 17:18 11m 42s nspin:pr/fix-report
nspin:pr/fix-report
October 25, 2023 17:18 11m 42s
README: mention roadmap SDK #50: Commit 95a4ab3 pushed by Ivan-Velickovic
October 19, 2023 02:14 8m 42s main
main
October 19, 2023 02:14 8m 42s
README: mention roadmap SDK #49: Pull request #76 opened by Ivan-Velickovic
October 19, 2023 02:12 10m 15s mention_roadmap
mention_roadmap
October 19, 2023 02:12 10m 15s
manual: update tool usage and description SDK #48: Commit 128543c pushed by Ivan-Velickovic
October 10, 2023 04:47 9m 20s main
main
October 10, 2023 04:47 9m 20s
manual: update tool usage and description SDK #47: Pull request #75 opened by Ivan-Velickovic
October 10, 2023 04:46 10m 13s manual_fix_tool_usage
manual_fix_tool_usage
October 10, 2023 04:46 10m 13s
docs: remove old README SDK #46: Commit 33b9f8d pushed by Ivan-Velickovic
October 10, 2023 04:37 8m 29s main
main
October 10, 2023 04:37 8m 29s
docs: remove old README SDK #45: Pull request #74 opened by Ivan-Velickovic
October 10, 2023 04:35 8m 6s remove_old_readme
remove_old_readme
October 10, 2023 04:35 8m 6s
manual: fix missing rename to Microkit SDK #44: Commit d05fd07 pushed by Ivan-Velickovic
October 10, 2023 04:30 10m 20s main
main
October 10, 2023 04:30 10m 20s
manual: fix missing rename to Microkit SDK #43: Pull request #73 synchronize by Ivan-Velickovic
October 10, 2023 04:29 9m 16s minor_manual_fix
minor_manual_fix
October 10, 2023 04:29 9m 16s
manual: fix missing rename to Microkit SDK #42: Pull request #73 opened by Ivan-Velickovic
October 10, 2023 04:29 9m 25s minor_manual_fix
minor_manual_fix
October 10, 2023 04:29 9m 25s