Skip to content

Actions: seL4/rust-sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
523 workflow runs
523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

nix: Test CapDL loader with added spec CI #472: Commit 4fa77ad pushed by nspin
July 11, 2024 22:09 15m 12s main
main
July 11, 2024 22:09 15m 12s
Add support for resettable protection domains CI #471: Pull request #167 synchronize by nspin
July 10, 2024 09:06 15m 7s nspin:pr/resettable
nspin:pr/resettable
July 10, 2024 09:06 15m 7s
Add support for resettable protection domains CI #470: Pull request #167 synchronize by nspin
July 10, 2024 07:21 13m 55s nspin:pr/resettable
nspin:pr/resettable
July 10, 2024 07:21 13m 55s
Add support for resettable protection domains CI #469: Pull request #167 synchronize by nspin
July 10, 2024 05:14 13m 34s nspin:pr/resettable
nspin:pr/resettable
July 10, 2024 05:14 13m 34s
Add support for resettable protection domains CI #468: Pull request #167 synchronize by nspin
July 9, 2024 11:55 12m 37s nspin:pr/resettable
nspin:pr/resettable
July 9, 2024 11:55 12m 37s
Add support for resettable protection domains CI #467: Pull request #167 synchronize by nspin
July 9, 2024 07:05 9m 23s nspin:pr/resettable
nspin:pr/resettable
July 9, 2024 07:05 9m 23s
Add support for resettable protection domains CI #466: Pull request #167 synchronize by nspin
July 9, 2024 06:25 11m 5s nspin:pr/resettable
nspin:pr/resettable
July 9, 2024 06:25 11m 5s
nix: Fix HTTP server demo disk image CI #465: Commit 9b73fb0 pushed by nspin
July 9, 2024 01:12 14m 18s main
main
July 9, 2024 01:12 14m 18s
nix: Fix HTTP server demo disk image CI #464: Pull request #168 opened by nspin
July 9, 2024 00:36 16m 4s nspin:pr/fix-http-server-demo-disk-image
nspin:pr/fix-http-server-demo-disk-image
July 9, 2024 00:36 16m 4s
Add support for resettable protection domains CI #463: Pull request #167 synchronize by nspin
July 9, 2024 00:35 12m 4s nspin:pr/resettable
nspin:pr/resettable
July 9, 2024 00:35 12m 4s
Add support for resettable protection domains CI #462: Pull request #167 opened by nspin
July 9, 2024 00:26 27m 0s nspin:pr/resettable
nspin:pr/resettable
July 9, 2024 00:26 27m 0s
add tcb_unbind_notification invocation CI #461: Commit 604e7cb pushed by nspin
July 3, 2024 09:24 23m 21s main
main
July 3, 2024 09:24 23m 21s
add tcb_unbind_notification invocation CI #460: Pull request #165 synchronize by alwin-joshy
July 2, 2024 12:34 21m 50s alwin-joshy:tcb_unbind_ntfn
alwin-joshy:tcb_unbind_ntfn
July 2, 2024 12:34 21m 50s
add tcb_unbind_notification invocation CI #459: Pull request #165 synchronize by alwin-joshy
July 2, 2024 12:34 36m 20s alwin-joshy:tcb_unbind_ntfn
alwin-joshy:tcb_unbind_ntfn
July 2, 2024 12:34 36m 20s
add tcb_unbind_notification invocation CI #458: Pull request #165 synchronize by alwin-joshy
July 2, 2024 04:00 22m 4s alwin-joshy:tcb_unbind_ntfn
alwin-joshy:tcb_unbind_ntfn
July 2, 2024 04:00 22m 4s
add tcb_unbind_notification invocation CI #457: Pull request #165 opened by alwin-joshy
July 2, 2024 04:00 34m 32s alwin-joshy:tcb_unbind_ntfn
alwin-joshy:tcb_unbind_ntfn
July 2, 2024 04:00 34m 32s
Update VERSION file to 1.0.0-dev CI #456: Commit 4f13dd2 pushed by nspin
July 2, 2024 01:31 13m 52s main
main
July 2, 2024 01:31 13m 52s
Update VERSION file to 1.0.0-dev CI #455: Pull request #164 opened by nspin
July 2, 2024 00:36 13m 16s nspin:pr/dev-version
nspin:pr/dev-version
July 2, 2024 00:36 13m 16s
Release 1.0.0 CI #454: Commit 87cd47a pushed by nspin
July 2, 2024 00:17 14m 12s main
main
July 2, 2024 00:17 14m 12s
Release 1.0.0 CI #453: Pull request #162 synchronize by nspin
July 2, 2024 00:03 12m 50s nspin:pr/release-1.0.0
nspin:pr/release-1.0.0
July 2, 2024 00:03 12m 50s
docs: Fix broken links CI #452: Commit d770d7b pushed by nspin
July 2, 2024 00:01 12m 47s main
main
July 2, 2024 00:01 12m 47s
docs: Fix broken rustdoc links CI #451: Pull request #163 opened by nspin
July 1, 2024 23:38 21m 38s nspin:pr/fix-broken-rustdoc-links
nspin:pr/fix-broken-rustdoc-links
July 1, 2024 23:38 21m 38s
Release 1.0.0 CI #450: Pull request #162 synchronize by nspin
July 1, 2024 23:30 13m 22s nspin:pr/release-1.0.0
nspin:pr/release-1.0.0
July 1, 2024 23:30 13m 22s
Release 1.0.0 CI #449: Pull request #162 opened by nspin
July 1, 2024 23:28 6m 38s nspin:pr/release-1.0.0
nspin:pr/release-1.0.0
July 1, 2024 23:28 6m 38s
docs: Refer to most recent 13.0.0 seL4 commit CI #448: Commit be7d740 pushed by nspin
July 1, 2024 12:32 15m 35s main
main
July 1, 2024 12:32 15m 35s