Back to pull request #45

Further develop and modularize Cargo manifest management #144

Sign in to view logs

Triggered via pull request November 3, 2023 09:23

nspin

opened #45

nspin:pr/develop-cmm

Status Success

Total duration 15m 7s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything