CI

fix typo in set_recv_slot #404

Sign in to view logs

Triggered via push May 29, 2024 11:09

nspin

main

Status Success

Total duration 21m 33s

Artifacts –

push.yaml

on: push

Run other tests

Check dependencies

Check Kani proofs

Build everything