Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Name VM TCBs in debug mode as well PR #579: Pull request #259 synchronize by Ivan-Velickovic
January 7, 2025 00:41 1m 9s debug_name_tcb_fix
debug_name_tcb_fix
January 7, 2025 00:41 1m 9s
Name VM TCBs in debug mode as well CI #733: Pull request #259 opened by Ivan-Velickovic
January 7, 2025 00:29 25s debug_name_tcb_fix
debug_name_tcb_fix
January 7, 2025 00:29 25s
Name VM TCBs in debug mode as well PR #578: Pull request #259 opened by Ivan-Velickovic
January 7, 2025 00:29 2m 28s debug_name_tcb_fix
debug_name_tcb_fix
January 7, 2025 00:29 2m 28s
Name VM TCBs in debug mode as well SDK #715: Pull request #259 opened by Ivan-Velickovic
January 7, 2025 00:29 7m 3s debug_name_tcb_fix
debug_name_tcb_fix
January 7, 2025 00:29 7m 3s
tool: improve error message SDK #714: Commit dc10ac5 pushed by Ivan-Velickovic
January 6, 2025 04:07 18m 45s main
main
January 6, 2025 04:07 18m 45s
tool: improve error message CI #732: Commit dc10ac5 pushed by Ivan-Velickovic
January 6, 2025 04:07 21s main
main
January 6, 2025 04:07 21s
tool: improve error message when checking SMC support CI #731: Pull request #258 synchronize by Ivan-Velickovic
January 6, 2025 04:06 19s error_msg
error_msg
January 6, 2025 04:06 19s
tool: improve error message when checking SMC support PR #577: Pull request #258 synchronize by Ivan-Velickovic
January 6, 2025 04:06 1m 27s error_msg
error_msg
January 6, 2025 04:06 1m 27s
tool: improve error message when checking SMC support SDK #713: Pull request #258 synchronize by Ivan-Velickovic
January 6, 2025 04:06 16m 23s error_msg
error_msg
January 6, 2025 04:06 16m 23s
tool: improve error message when checking SMC support SDK #712: Pull request #258 opened by Ivan-Velickovic
January 6, 2025 04:04 13m 9s error_msg
error_msg
January 6, 2025 04:04 13m 9s
tool: improve error message when checking SMC support CI #730: Pull request #258 opened by Ivan-Velickovic
January 6, 2025 04:04 24s error_msg
error_msg
January 6, 2025 04:04 24s
tool: improve error message when checking SMC support PR #576: Pull request #258 opened by Ivan-Velickovic
January 6, 2025 04:04 2m 38s error_msg
error_msg
January 6, 2025 04:04 2m 38s
monitor: report potential stack overflows CI #729: Commit 453dc2d pushed by Ivan-Velickovic
January 6, 2025 04:00 28s main
main
January 6, 2025 04:00 28s
monitor: report potential stack overflows SDK #711: Commit 453dc2d pushed by Ivan-Velickovic
January 6, 2025 04:00 13m 33s main
main
January 6, 2025 04:00 13m 33s
monitor: report potential stack overflows CI #728: Pull request #257 synchronize by Ivan-Velickovic
January 6, 2025 03:59 28s stack_overflow_reporting
stack_overflow_reporting
January 6, 2025 03:59 28s
monitor: report potential stack overflows SDK #710: Pull request #257 synchronize by Ivan-Velickovic
January 6, 2025 03:59 14m 56s stack_overflow_reporting
stack_overflow_reporting
January 6, 2025 03:59 14m 56s
monitor: report potential stack overflows PR #575: Pull request #257 synchronize by Ivan-Velickovic
January 6, 2025 03:59 1m 21s stack_overflow_reporting
stack_overflow_reporting
January 6, 2025 03:59 1m 21s
monitor: report potential stack overflows CI #727: Pull request #257 opened by Ivan-Velickovic
January 6, 2025 03:57 26s stack_overflow_reporting
stack_overflow_reporting
January 6, 2025 03:57 26s
monitor: report potential stack overflows PR #574: Pull request #257 opened by Ivan-Velickovic
January 6, 2025 03:57 2m 42s stack_overflow_reporting
stack_overflow_reporting
January 6, 2025 03:57 2m 42s
monitor: report potential stack overflows SDK #709: Pull request #257 opened by Ivan-Velickovic
January 6, 2025 03:57 13m 29s stack_overflow_reporting
stack_overflow_reporting
January 6, 2025 03:57 13m 29s
README: mention i.MX8MP-EVK support CI #726: Commit 1d36453 pushed by Ivan-Velickovic
December 24, 2024 23:18 22s main
main
December 24, 2024 23:18 22s
README: mention i.MX8MP-EVK support SDK #708: Commit 1d36453 pushed by Ivan-Velickovic
December 24, 2024 23:18 11m 47s main
main
December 24, 2024 23:18 11m 47s
Refactor examples for handling many boards SDK #707: Commit 6b3ccd4 pushed by Ivan-Velickovic
December 23, 2024 02:04 12m 32s main
main
December 23, 2024 02:04 12m 32s
Refactor examples for handling many boards CI #725: Commit 6b3ccd4 pushed by Ivan-Velickovic
December 23, 2024 02:04 25s main
main
December 23, 2024 02:04 25s
Refactor examples for handling many boards SDK #706: Pull request #256 synchronize by Ivan-Velickovic
December 23, 2024 02:00 11m 38s examples_simplify
examples_simplify
December 23, 2024 02:00 11m 38s