Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
449 workflow run results
449 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: mention roadmap CI #68: Commit 95a4ab3 pushed by Ivan-Velickovic
October 19, 2023 02:14 20s main
main
October 19, 2023 02:14 20s
README: mention roadmap CI #67: Pull request #76 opened by Ivan-Velickovic
October 19, 2023 02:12 25s mention_roadmap
mention_roadmap
October 19, 2023 02:12 25s
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
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 CI #66: Commit 128543c pushed by Ivan-Velickovic
October 10, 2023 04:47 24s main
main
October 10, 2023 04:47 24s
manual: update tool usage and description CI #65: Pull request #75 opened by Ivan-Velickovic
October 10, 2023 04:46 22s manual_fix_tool_usage
manual_fix_tool_usage
October 10, 2023 04:46 22s
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
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 CI #64: Commit 33b9f8d pushed by Ivan-Velickovic
October 10, 2023 04:37 22s main
main
October 10, 2023 04:37 22s
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 CI #63: Pull request #74 opened by Ivan-Velickovic
October 10, 2023 04:35 25s remove_old_readme
remove_old_readme
October 10, 2023 04:35 25s
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
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 CI #62: Commit d05fd07 pushed by Ivan-Velickovic
October 10, 2023 04:30 22s main
main
October 10, 2023 04:30 22s
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 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 CI #61: 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 CI #60: Pull request #73 opened by Ivan-Velickovic
October 10, 2023 04:29 23s minor_manual_fix
minor_manual_fix
October 10, 2023 04:29 23s
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
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
manual: use correct type of Microkit messages SDK #40: Commit 1c1c07c pushed by Ivan-Velickovic
September 25, 2023 13:55 7m 30s main
main
September 25, 2023 13:55 7m 30s
manual: use correct type of Microkit messages CI #58: Commit 1c1c07c pushed by Ivan-Velickovic
September 25, 2023 13:55 25s main
main
September 25, 2023 13:55 25s
manual: use correct type of Microkit messages CI #57: Pull request #68 opened by Ivan-Velickovic
September 25, 2023 13:54 31s Ivan-Velickovic:manual_fix_message_type
Ivan-Velickovic:manual_fix_message_type
September 25, 2023 13:54 31s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.