CI

Rework Cargo manifest management again #125

Sign in to view logs

Triggered via pull request October 24, 2023 19:24

nspin

opened #38

nspin:pr/rework-cargo-manifest-generation-2

Status Success

Total duration 15m 27s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything