CI

Bump rust-sel4 #14

Sign in to view logs

Triggered via pull request July 2, 2024 01:33

nspin

opened #8

nspin:pr/bump-rust-sel4

Status Success

Total duration 3m 51s

Artifacts –

push.yaml

on: pull_request

Build and check