Add TCB_SetSpace invocation #396

Sign in to view logs

Triggered via push May 10, 2024 14:16

nspin

main

Status Success

Total duration 19m 37s

Artifacts –

push.yaml

on: push

Run other tests

Check dependencies

Check Kani proofs

Build everything