CI

ci: Test building microkit PD with release configuration #487

Sign in to view logs

Triggered via push August 9, 2024 09:53

nspin

main

Status Success

Total duration 18m 42s

Artifacts –

push.yaml

on: push

Run other tests

Check dependencies

Check Kani proofs

Build everything