Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
566 workflow runs
566 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
capdl: derive Ord, PartialOrd and Hash for types CI #1009: Commit 86a0dbf pushed by midnightveil
15m 17s main
main
15m 17s
capdl: derive Ord, PartialOrd and Hash for types PR #324: Pull request #374 synchronize by midnightveil
1m 14s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
1m 14s
capdl: derive Ord, PartialOrd and Hash for types CI #1008: Pull request #374 synchronize by midnightveil
15m 54s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
15m 54s
capdl: support specifying rights on the Reply cap CI #1007: Commit a61441c pushed by midnightveil
4h 59m 54s main
main
4h 59m 54s
capdl: derive Ord, PartialOrd and Hash for types CI #1006: Pull request #374 synchronize by midnightveil
16m 11s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
16m 11s
capdl: derive Ord, PartialOrd and Hash for types PR #323: Pull request #374 synchronize by midnightveil
1m 7s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
1m 7s
capdl: fail-closed capability rights in spec CI #1005: Pull request #375 synchronize by midnightveil
17m 48s julia/rights-default-none
julia/rights-default-none
17m 48s
capdl: fail-closed capability rights in spec PR #322: Pull request #375 synchronize by midnightveil
1m 4s julia/rights-default-none
julia/rights-default-none
1m 4s
Run cargo update CI #1004: Commit 46f5c7e pushed by nspin
16m 37s main
main
16m 37s
Run cargo update PR #321: Pull request #376 opened by nspin
48s nspin:pr/bump-rustls
nspin:pr/bump-rustls
48s
Run cargo update CI #1003: Pull request #376 opened by nspin
15m 32s nspin:pr/bump-rustls
nspin:pr/bump-rustls
15m 32s
capdl: fail-closed capability rights in spec PR #320: Pull request #375 opened by midnightveil
41s julia/rights-default-none
julia/rights-default-none
41s
capdl: fail-closed capability rights in spec CI #1002: Pull request #375 opened by midnightveil
15m 14s julia/rights-default-none
julia/rights-default-none
15m 14s
capdl: derive Ord, PartialOrd and Hash for types PR #319: Pull request #374 synchronize by dreamliner787-9
44s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
44s
capdl: derive Ord, PartialOrd and Hash for types CI #1001: Pull request #374 synchronize by dreamliner787-9
14m 30s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
14m 30s
capdl: derive Ord, PartialOrd and Hash for types CI #1000: Pull request #374 opened by dreamliner787-9
16m 4s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
16m 4s
capdl: derive Ord, PartialOrd and Hash for types PR #318: Pull request #374 opened by dreamliner787-9
47s au-ts:extra_traits_for_capdl_types
au-ts:extra_traits_for_capdl_types
47s
Work around hashbrown no_std rustdoc issue CI #999: Commit 891b596 pushed by nspin
19m 10s main
main
19m 10s
Bump Rust toolchain and crate dependencies PR #317: Pull request #372 synchronize by nspin
50s nspin:pr/update-deps
nspin:pr/update-deps
50s
Bump Rust toolchain and crate dependencies CI #998: Pull request #372 synchronize by nspin
22m 2s nspin:pr/update-deps
nspin:pr/update-deps
22m 2s
Bump Rust toolchain and crate dependencies PR #316: Pull request #372 synchronize by nspin
43s nspin:pr/update-deps
nspin:pr/update-deps
43s
Bump Rust toolchain and crate dependencies CI #997: Pull request #372 synchronize by nspin
33m 18s nspin:pr/update-deps
nspin:pr/update-deps
33m 18s
Bump Rust toolchain and crate dependencies CI #996: Pull request #372 synchronize by nspin
30m 23s nspin:pr/update-deps
nspin:pr/update-deps
30m 23s
Bump Rust toolchain and crate dependencies PR #315: Pull request #372 synchronize by nspin
46s nspin:pr/update-deps
nspin:pr/update-deps
46s
Bump Rust toolchain and crate dependencies PR #314: Pull request #372 synchronize by nspin
57s nspin:pr/update-deps
nspin:pr/update-deps
57s