Kani CI

Upgrade `windows-targets` to version 0.52.4 #836

Sign in to view logs

Triggered via push February 29, 2024 14:58

adpaco-aws

fix-yanked-windows-targets

Status Success

Total duration 44m 5s

Artifacts –

kani.yml

on: push

write-json-symtab-regression

benchcomp-tests

Matrix: regression