Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE CI #120: Pull request #80 synchronize by Ivan-Velickovic
January 18, 2024 01:52 21s nspin:pr/increase-bootstrap-invocation-data-size
nspin:pr/increase-bootstrap-invocation-data-size
January 18, 2024 01:52 21s
Remove taking the address of local variables CI #117: Pull request #92 opened by isubasinghe
January 17, 2024 05:40 30s isubasinghe:remove-address-local
isubasinghe:remove-address-local
January 17, 2024 05:40 30s
Remove taking the address of local variables PR #93: Pull request #92 opened by isubasinghe
January 17, 2024 05:40 30s isubasinghe:remove-address-local
isubasinghe:remove-address-local
January 17, 2024 05:40 30s
Remove taking the address of local variables SDK #99: Pull request #92 opened by isubasinghe
January 17, 2024 05:40 4m 53s isubasinghe:remove-address-local
isubasinghe:remove-address-local
January 17, 2024 05:40 4m 53s
tool: adhere to CI style checks SDK #98: Commit ad271b5 pushed by Ivan-Velickovic
January 12, 2024 03:12 5m 34s main
main
January 12, 2024 03:12 5m 34s
tool: adhere to CI style checks CI #116: Commit ad271b5 pushed by Ivan-Velickovic
January 12, 2024 03:12 25s main
main
January 12, 2024 03:12 25s
tool: adhere to CI style checks PR #92: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:11 34s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:11 34s
tool: adhere to CI style checks CI #115: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:11 30s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:11 30s
tool: adhere to CI style checks SDK #97: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:11 4m 49s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:11 4m 49s
tool: adhere to CI style checks CI #114: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:10 27s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:10 27s
tool: adhere to CI style checks PR #91: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:10 28s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:10 28s
tool: adhere to CI style checks SDK #96: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:10 5m 14s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:10 5m 14s
tool: adhere to CI style checks PR #90: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:03 26s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:03 26s
tool: adhere to CI style checks SDK #95: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:03 5m 21s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:03 5m 21s
tool: adhere to CI style checks CI #113: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 03:03 18s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 03:03 18s
tool: adhere to CI style checks SDK #94: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:25 4m 50s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:25 4m 50s
tool: adhere to CI style checks CI #112: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:25 19s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:25 19s
tool: adhere to CI style checks PR #89: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:25 33s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:25 33s
tool: adhere to CI style checks SDK #93: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:16 5m 19s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:16 5m 19s
tool: adhere to CI style checks CI #111: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:16 26s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:16 26s
tool: adhere to CI style checks PR #88: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:16 30s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:16 30s
tool: adhere to CI style checks PR #87: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:14 30s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:14 30s
tool: adhere to CI style checks CI #110: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:14 27s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:14 27s
tool: adhere to CI style checks SDK #92: Pull request #67 synchronize by Ivan-Velickovic
January 12, 2024 02:14 5m 28s Ivan-Velickovic:tool_style_check
Ivan-Velickovic:tool_style_check
January 12, 2024 02:14 5m 28s
tool: Handle unaligned PD segments CI #109: Commit c553c0a pushed by Ivan-Velickovic
January 12, 2024 00:03 26s main
main
January 12, 2024 00:03 26s
ProTip! You can narrow down the results and go further in time using created:<2024-01-12 or the other filters available.