Skip to content

Actions: kern-crates/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update VERSION file to 3.0.0-dev CI #32: Commit 3059c2d pushed by zjp-CN
15m 53s main
main
15m 53s
Use release versions of seL4 and Microkit CI #31: Commit dfabc3a pushed by zjp-CN
15m 7s main
main
15m 7s
sddf: Add device class module stubs CI #30: Commit 027e3eb pushed by zjp-CN
15m 11s main
main
15m 11s
trivial: Fix style CI #29: Commit dbbc90c pushed by zjp-CN
14m 21s main
main
14m 21s
capdl: Make quieter after starting threads CI #28: Commit 0ac1c27 pushed by zjp-CN
14m 12s main
main
14m 12s
capdl: Remove alloc feature from default CI #27: Commit 25896f7 pushed by zjp-CN
14m 6s main
main
14m 6s
crates/sel4-capdl-initializer: add x86 EPT CI #26: Commit 88fceef pushed by zjp-CN
14m 22s main
main
14m 22s
Replace #[cfg(any(())] with #[cfg(false)] CI #25: Commit 69e5fdf pushed by zjp-CN
13m 38s main
main
13m 38s
nix: Generate cargo config file for CC and bindgen CI #24: Commit 225f9c3 pushed by zjp-CN
14m 39s main
main
14m 39s
capdl: Use Self throughout CI #23: Commit 956ae69 pushed by zjp-CN
17m 50s main
main
17m 50s
Make use of let-else construct CI #22: Commit 95feffa pushed by zjp-CN
22m 45s main
main
22m 45s
crates/sel4-capdl-initializer: add RISC-V irq type CI #21: Commit 285045d pushed by zjp-CN
13m 27s main
main
13m 27s
Update VERSION file to 2.0.0-dev CI #20: Commit d2bc5cf pushed by zjp-CN
14m 28s main
main
14m 28s
Address clippy lints CI #19: Commit e413e42 pushed by zjp-CN
14m 58s main
main
14m 58s
sel4-microkit: fix ChannelSet::contains() bug CI #18: Commit bf8035a pushed by zjp-CN
20m 32s main
main
20m 32s
nix: Use pyfdt from Nixpkgs CI #17: Commit 6f8d1ba pushed by zjp-CN
30m 53s main
main
30m 53s
nix: Bump Nixpkgs CI #16: Commit d87dfb7 pushed by zjp-CN
14m 20s main
main
14m 20s
Bump MSRV CI #15: Commit 24094e8 pushed by zjp-CN
14m 51s main
main
14m 51s
Address clippy lints CI #14: Commit 3ea2625 pushed by zjp-CN
16m 43s main
main
16m 43s
Rename sel4-ipc-types -> sddf-ipc-types CI #13: Commit 9b3d447 pushed by zjp-CN
20m 32s main
main
20m 32s
Address clippy lint CI #12: Commit b70165a pushed by zjp-CN
13m 3s main
main
13m 3s
sel4-dlmalloc: bump dlmalloc version to fix build CI #11: Commit 1fd85c7 pushed by zjp-CN
14m 54s main
main
14m 54s
add timeout fault CI #10: Commit 64c8fb5 pushed by zjp-CN
14m 5s main
main
14m 5s
Fix channel type error messages CI #9: Commit 21b37af pushed by zjp-CN
43m 53s main
main
43m 53s
add functions for setting TCB Priority and MCP CI #8: Commit 4e5c162 pushed by zjp-CN
1h 27m 1s main
main
1h 27m 1s