Back to pull request #63

Remove usage of unstable proc macro features #196

Sign in to view logs

Re-run triggered January 11, 2024 00:01

nspin

#63

nspin:pr/remove-unstable-proc-macro-features

Status Success

Total duration 12m 29s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything