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

Add example/rust
SDK #735: Commit 05eec71 pushed by Ivan-Velickovic
January 31, 2025 03:06 14m 59s main
January 31, 2025 03:06 14m 59s
Add example/rust
CI #753: Commit 05eec71 pushed by Ivan-Velickovic
January 31, 2025 03:06 19s main
January 31, 2025 03:06 19s
Mention Rust support and add hello world Rust example
SDK #734: Pull request #267 synchronize by Ivan-Velickovic
January 31, 2025 02:53 14m 38s rust
January 31, 2025 02:53 14m 38s
Mention Rust support and add hello world Rust example
PR #589: Pull request #267 synchronize by Ivan-Velickovic
January 31, 2025 02:53 30s rust
January 31, 2025 02:53 30s
Mention Rust support and add hello world Rust example
CI #752: Pull request #267 synchronize by Ivan-Velickovic
January 31, 2025 02:53 29s rust
January 31, 2025 02:53 29s
Mention Rust support and add hello world Rust example
SDK #733: Pull request #267 opened by Ivan-Velickovic
January 31, 2025 02:37 14m 44s rust
January 31, 2025 02:37 14m 44s
Mention Rust support and add hello world Rust example
CI #751: Pull request #267 opened by Ivan-Velickovic
January 31, 2025 02:37 20s rust
January 31, 2025 02:37 20s
Mention Rust support and add hello world Rust example
PR #588: Pull request #267 opened by Ivan-Velickovic
January 31, 2025 02:37 2m 32s rust
January 31, 2025 02:37 2m 32s
README: wording fix and remove date from toolchain
SDK #732: Commit d19d1d2 pushed by Ivan-Velickovic
January 22, 2025 01:00 14m 25s main
January 22, 2025 01:00 14m 25s
README: wording fix and remove date from toolchain
CI #750: Commit d19d1d2 pushed by Ivan-Velickovic
January 22, 2025 01:00 22s main
January 22, 2025 01:00 22s
Remove example/ariane
CI #749: Commit 20280ba pushed by Ivan-Velickovic
January 20, 2025 01:33 18s main
January 20, 2025 01:33 18s
Remove example/ariane
SDK #731: Commit 20280ba pushed by Ivan-Velickovic
January 20, 2025 01:33 20m 50s main
January 20, 2025 01:33 20m 50s
Remove example/ariane
CI #748: Pull request #265 opened by Ivan-Velickovic
January 20, 2025 01:33 35s remove_ariane_example
January 20, 2025 01:33 35s
Remove example/ariane
SDK #730: Pull request #265 opened by Ivan-Velickovic
January 20, 2025 01:33 13m 27s remove_ariane_example
January 20, 2025 01:33 13m 27s
Remove example/ariane
PR #587: Pull request #265 opened by Ivan-Velickovic
January 20, 2025 01:33 2m 36s remove_ariane_example
January 20, 2025 01:33 2m 36s
Fixes for debug-mode TCB naming
SDK #729: Commit e74e7f5 pushed by Ivan-Velickovic
January 20, 2025 01:32 14m 12s main
January 20, 2025 01:32 14m 12s
Fixes for debug-mode TCB naming
CI #747: Commit e74e7f5 pushed by Ivan-Velickovic
January 20, 2025 01:32 25s main
January 20, 2025 01:32 25s
Added support for Ariane (CVA6) [riscv]
CI #746: Commit 34355c8 pushed by Ivan-Velickovic
January 20, 2025 01:31 22s main
January 20, 2025 01:31 22s
Added support for Ariane (CVA6) [riscv]
SDK #728: Commit 34355c8 pushed by Ivan-Velickovic
January 20, 2025 01:31 13m 54s main
January 20, 2025 01:31 13m 54s
Fixes for debug-mode TCB naming
PR #585: Pull request #264 opened by Ivan-Velickovic
January 20, 2025 01:28 2m 30s debug_name_fix
January 20, 2025 01:28 2m 30s
Fixes for debug-mode TCB naming
CI #744: Pull request #264 opened by Ivan-Velickovic
January 20, 2025 01:28 25s debug_name_fix
January 20, 2025 01:28 25s
Fixes for debug-mode TCB naming
SDK #726: Pull request #264 opened by Ivan-Velickovic
January 20, 2025 01:28 14m 27s debug_name_fix
January 20, 2025 01:28 14m 27s