CI

Remove usage unstable `never`-related features #199

Sign in to view logs

Triggered via pull request January 11, 2024 00:20

nspin

synchronize #64

nspin:pr/remove-unstable-never-features

Status Success

Total duration 27m 34s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything