Kani CI

Use `without_provenance_ptr` in `AtomicPtr` test #841

Sign in to view logs

Triggered via push February 29, 2024 21:32

adpaco-aws

toolchain-upgrade-2024-02-25

Status Success

Total duration 33m 42s

Artifacts –

kani.yml

on: push

write-json-symtab-regression

benchcomp-tests

Matrix: regression