Skip to content

Actions: seL4/microkit

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tool: Handle unaligned PD segments PR #64: Pull request #81 synchronize by nspin
October 25, 2023 23:27 30s nspin:pr/unaligned-segments
nspin:pr/unaligned-segments
October 25, 2023 23:27 30s
tool: Handle unaligned PD segments PR #63: Pull request #81 opened by nspin
October 25, 2023 22:43 6m 46s nspin:pr/unaligned-segments
nspin:pr/unaligned-segments
October 25, 2023 22:43 6m 46s
monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE PR #62: Pull request #80 opened by nspin
October 25, 2023 18:16 32s nspin:pr/increase-bootstrap-invocation-data-size
nspin:pr/increase-bootstrap-invocation-data-size
October 25, 2023 18:16 32s
tool: Add __str__ and __repr__ methods to Sel4Aarch64Regs PR #61: Pull request #78 synchronize by nspin
October 25, 2023 18:02 34s nspin:pr/fix-report
nspin:pr/fix-report
October 25, 2023 18:02 34s
Omit assembler debug level to improve toolchain compatability PR #60: Pull request #79 synchronize by nspin
October 25, 2023 18:01 37s nspin:pr/improve-toolchain-compatibility
nspin:pr/improve-toolchain-compatibility
October 25, 2023 18:01 37s
Omit assembler debug level to improve toolchain compatability PR #59: Pull request #79 opened by nspin
October 25, 2023 17:56 34s nspin:pr/improve-toolchain-compatibility
nspin:pr/improve-toolchain-compatibility
October 25, 2023 17:56 34s
tool: Add __str__ and __repr__ methods to Sel4Aarch64Regs PR #58: Pull request #78 synchronize by nspin
October 25, 2023 17:19 30s nspin:pr/fix-report
nspin:pr/fix-report
October 25, 2023 17:19 30s
tool: Add __str__ and __repr__ methods to Sel4Aarch64Regs PR #57: Pull request #78 opened by nspin
October 25, 2023 17:18 1m 1s nspin:pr/fix-report
nspin:pr/fix-report
October 25, 2023 17:18 1m 1s
README: mention roadmap PR #54: Pull request #76 opened by Ivan-Velickovic
October 19, 2023 02:12 28s mention_roadmap
mention_roadmap
October 19, 2023 02:12 28s
manual: update tool usage and description PR #53: Pull request #75 opened by Ivan-Velickovic
October 10, 2023 04:46 37s manual_fix_tool_usage
manual_fix_tool_usage
October 10, 2023 04:46 37s
docs: remove old README PR #52: Pull request #74 opened by Ivan-Velickovic
October 10, 2023 04:35 33s remove_old_readme
remove_old_readme
October 10, 2023 04:35 33s
manual: fix missing rename to Microkit PR #51: Pull request #73 synchronize by Ivan-Velickovic
October 10, 2023 04:29 28s minor_manual_fix
minor_manual_fix
October 10, 2023 04:29 28s
manual: fix missing rename to Microkit PR #50: Pull request #73 opened by Ivan-Velickovic
October 10, 2023 04:29 43s minor_manual_fix
minor_manual_fix
October 10, 2023 04:29 43s