Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,798 workflow runs
1,798 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

manual: add initial guide for platform ports CI #99: Pull request #89 synchronize by Ivan-Velickovic
January 11, 2024 01:36 27s guide_for_platform_ports
guide_for_platform_ports
January 11, 2024 01:36 27s
manual: add initial guide for platform ports SDK #81: Pull request #89 synchronize by Ivan-Velickovic
January 11, 2024 01:36 5m 6s guide_for_platform_ports
guide_for_platform_ports
January 11, 2024 01:36 5m 6s
manual: add initial guide for platform ports PR #80: Pull request #89 synchronize by Ivan-Velickovic
January 11, 2024 01:36 27s guide_for_platform_ports
guide_for_platform_ports
January 11, 2024 01:36 27s
manual: add initial guide for platform ports CI #98: Pull request #89 opened by Ivan-Velickovic
January 11, 2024 01:31 19s guide_for_platform_ports
guide_for_platform_ports
January 11, 2024 01:31 19s
manual: add initial guide for platform ports PR #79: Pull request #89 opened by Ivan-Velickovic
January 11, 2024 01:31 25s guide_for_platform_ports
guide_for_platform_ports
January 11, 2024 01:31 25s
manual: add initial guide for platform ports SDK #80: Pull request #89 opened by Ivan-Velickovic
January 11, 2024 01:31 5m 3s guide_for_platform_ports
guide_for_platform_ports
January 11, 2024 01:31 5m 3s
Fixes and cleanup in passive server example CI #97: Commit 2e0ef62 pushed by Ivan-Velickovic
January 11, 2024 01:18 19s main
main
January 11, 2024 01:18 19s
Fixes and cleanup in passive server example SDK #79: Commit 2e0ef62 pushed by Ivan-Velickovic
January 11, 2024 01:18 5m 11s main
main
January 11, 2024 01:18 5m 11s
Fixes and cleanup in passive server example CI #96: Pull request #88 synchronize by Ivan-Velickovic
January 11, 2024 01:17 20s passive_server_fixes
passive_server_fixes
January 11, 2024 01:17 20s
Fixes and cleanup in passive server example SDK #78: Pull request #88 synchronize by Ivan-Velickovic
January 11, 2024 01:17 4m 56s passive_server_fixes
passive_server_fixes
January 11, 2024 01:17 4m 56s
Fixes and cleanup in passive server example PR #78: Pull request #88 synchronize by Ivan-Velickovic
January 11, 2024 01:17 50s passive_server_fixes
passive_server_fixes
January 11, 2024 01:17 50s
monitor: fix log messages regarding passive PDs CI #95: Commit a9bbc97 pushed by Ivan-Velickovic
January 11, 2024 01:16 56s main
main
January 11, 2024 01:16 56s
monitor: fix log messages regarding passive PDs SDK #77: Commit a9bbc97 pushed by Ivan-Velickovic
January 11, 2024 01:16 4m 52s main
main
January 11, 2024 01:16 4m 52s
Fixes and cleanup in passive server example PR #77: Pull request #88 opened by Ivan-Velickovic
January 11, 2024 01:16 46s passive_server_fixes
passive_server_fixes
January 11, 2024 01:16 46s
Fixes and cleanup in passive server example SDK #76: Pull request #88 opened by Ivan-Velickovic
January 11, 2024 01:16 5m 14s passive_server_fixes
passive_server_fixes
January 11, 2024 01:16 5m 14s
Fixes and cleanup in passive server example CI #94: Pull request #88 opened by Ivan-Velickovic
January 11, 2024 01:16 17s passive_server_fixes
passive_server_fixes
January 11, 2024 01:16 17s
Fix printing in monitor when dealing with passive PDs CI #93: Pull request #47 synchronize by Ivan-Velickovic
January 11, 2024 01:11 22s monitor_fix_passive_print
monitor_fix_passive_print
January 11, 2024 01:11 22s
Fix printing in monitor when dealing with passive PDs SDK #75: Pull request #47 synchronize by Ivan-Velickovic
January 11, 2024 01:11 4m 55s monitor_fix_passive_print
monitor_fix_passive_print
January 11, 2024 01:11 4m 55s
Fix printing in monitor when dealing with passive PDs PR #76: Pull request #47 synchronize by Ivan-Velickovic
January 11, 2024 01:11 26s monitor_fix_passive_print
monitor_fix_passive_print
January 11, 2024 01:11 26s
manual: add command for booting ZCU102 hardware CI #92: Commit 99af2de pushed by Ivan-Velickovic
January 11, 2024 00:59 23s main
main
January 11, 2024 00:59 23s
manual: add command for booting ZCU102 hardware SDK #74: Commit 99af2de pushed by Ivan-Velickovic
January 11, 2024 00:59 5m 12s main
main
January 11, 2024 00:59 5m 12s
Minor manual fixes SDK #73: Pull request #87 synchronize by Ivan-Velickovic
January 11, 2024 00:55 4m 43s zcu102_docs
zcu102_docs
January 11, 2024 00:55 4m 43s
Minor manual fixes CI #91: Pull request #87 synchronize by Ivan-Velickovic
January 11, 2024 00:55 23s zcu102_docs
zcu102_docs
January 11, 2024 00:55 23s
Minor manual fixes PR #75: Pull request #87 synchronize by Ivan-Velickovic
January 11, 2024 00:55 28s zcu102_docs
zcu102_docs
January 11, 2024 00:55 28s
Minor manual fixes PR #74: Pull request #87 opened by Ivan-Velickovic
January 11, 2024 00:54 29s zcu102_docs
zcu102_docs
January 11, 2024 00:54 29s
ProTip! You can narrow down the results and go further in time using created:<2024-01-11 or the other filters available.