Skip to content

Actions: seL4/rust-sel4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yaml
520 workflow runs
520 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

crates/sel4: Add ImplicitReplyAuthority::reply CI #522: Commit 69838c2 pushed by nspin
October 9, 2024 08:17 17m 31s main
main
October 9, 2024 08:17 17m 31s
crates/sel4: Add ImplicitReplyAuthority::reply CI #521: Pull request #210 opened by nspin
October 8, 2024 10:07 17m 7s nspin:pr/reply-authority-invocation-context
nspin:pr/reply-authority-invocation-context
October 8, 2024 10:07 17m 7s
crates/private/meta: Fix cross-platform build CI #520: Commit dc050d5 pushed by nspin
October 7, 2024 08:44 16m 15s main
main
October 7, 2024 08:44 16m 15s
Improve docs CI #519: Pull request #209 opened by nspin
October 7, 2024 08:26 17m 43s nspin:pr/improve-docs
nspin:pr/improve-docs
October 7, 2024 08:26 17m 43s
crates/sel4-microkit: Suppress warnings in macro expansions CI #518: Commit 6dd5dd0 pushed by nspin
October 7, 2024 06:23 16m 31s main
main
October 7, 2024 06:23 16m 31s
Suppress warnings in macro expansions CI #517: Pull request #208 opened by nspin
October 7, 2024 05:57 13m 16s nspin:pr/suppress-macro-expansion-warnings
nspin:pr/suppress-macro-expansion-warnings
October 7, 2024 05:57 13m 16s
crates/sel4-panicking/env: Improve rustdoc CI #516: Commit 2312360 pushed by nspin
October 7, 2024 05:55 13m 4s main
main
October 7, 2024 05:55 13m 4s
Improve API clarity and docs CI #515: Pull request #207 synchronize by nspin
October 7, 2024 05:42 11m 45s nspin:pr/improve-clarity-and-docs
nspin:pr/improve-clarity-and-docs
October 7, 2024 05:42 11m 45s
Improve API clarity and docs CI #514: Pull request #207 opened by nspin
October 7, 2024 05:41 14m 17s nspin:pr/improve-clarity-and-docs
nspin:pr/improve-clarity-and-docs
October 7, 2024 05:41 14m 17s
Don't hide docs for DEFAULT_STACK_SIZE CI #513: Commit a43d66e pushed by nspin
September 25, 2024 11:35 36m 5s main
main
September 25, 2024 11:35 36m 5s
Expose some items in rustdoc CI #512: Pull request #204 opened by nspin
September 25, 2024 06:33 29m 59s nspin:pr/expose-items-in-docs
nspin:pr/expose-items-in-docs
September 25, 2024 06:33 29m 59s
Bump unwinding crate CI #511: Commit 9b82998 pushed by nspin
September 25, 2024 05:39 18m 12s main
main
September 25, 2024 05:39 18m 12s
Fix stack overflow during unwinding for some default configurations CI #510: Pull request #203 opened by nspin
September 25, 2024 01:38 37m 7s nspin:pr/fix-unwinding-stack-overflow
nspin:pr/fix-unwinding-stack-overflow
September 25, 2024 01:38 37m 7s
Add dummy vscode rust-analyzer config CI #509: Commit b3b9038 pushed by nspin
September 22, 2024 07:39 12m 29s main
main
September 22, 2024 07:39 12m 29s
Add dummy VSCode rust-analyzer config CI #508: Pull request #198 synchronize by nspin
September 21, 2024 05:16 11m 59s nspin:pr/add-dummy-vscode-rust-analyzer-config
nspin:pr/add-dummy-vscode-rust-analyzer-config
September 21, 2024 05:16 11m 59s
Add dummy VSCode rust-analyzer config CI #507: Pull request #198 synchronize by nspin
September 20, 2024 21:07 6m 11s nspin:pr/add-dummy-vscode-rust-analyzer-config
nspin:pr/add-dummy-vscode-rust-analyzer-config
September 20, 2024 21:07 6m 11s
Add dummy VSCode rust-analyzer config CI #506: Pull request #198 opened by nspin
September 20, 2024 21:06 6m 38s nspin:pr/add-dummy-vscode-rust-analyzer-config
nspin:pr/add-dummy-vscode-rust-analyzer-config
September 20, 2024 21:06 6m 38s
Remove metadata from target specs CI #505: Commit a49e59d pushed by nspin
September 19, 2024 08:45 19m 34s main
main
September 19, 2024 08:45 19m 34s
Remove metadata from target specs CI #504: Pull request #197 synchronize by nspin
September 19, 2024 06:15 59m 29s nspin:pr/rm-target-spec-metadata
nspin:pr/rm-target-spec-metadata
September 19, 2024 06:15 59m 29s
Remove metadata from target specs CI #503: Pull request #197 opened by nspin
September 19, 2024 06:04 9m 34s nspin:pr/rm-target-spec-metadata
nspin:pr/rm-target-spec-metadata
September 19, 2024 06:04 9m 34s
Suppress warnings in macro expansions CI #502: Commit 5f6d5da pushed by nspin
September 19, 2024 05:26 43m 41s main
main
September 19, 2024 05:26 43m 41s
Suppress warnings in macro expansions CI #501: Pull request #196 synchronize by nspin
September 19, 2024 01:14 57m 16s nspin:pr/macro-expansion-warnings
nspin:pr/macro-expansion-warnings
September 19, 2024 01:14 57m 16s
Suppress warnings in macro expansions CI #500: Pull request #196 opened by nspin
September 19, 2024 01:04 8m 59s nspin:pr/macro-expansion-warnings
nspin:pr/macro-expansion-warnings
September 19, 2024 01:04 8m 59s
Add support for Microkit on riscv64 CI #499: Commit 1cd063a pushed by nspin
September 18, 2024 23:00 17m 50s main
main
September 18, 2024 23:00 17m 50s
Add support for Microkit on riscv64 CI #498: Pull request #194 opened by nspin
September 18, 2024 22:37 14m 37s nspin:pr/riscv64-microkit
nspin:pr/riscv64-microkit
September 18, 2024 22:37 14m 37s