CI

Clean up Cargo manifest management #127

Sign in to view logs

Triggered via pull request October 26, 2023 00:10

nspin

opened #39

nspin:pr/cargo-manifest-management-cleanup

Status Success

Total duration 17m 27s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything