test-clang-format

chore: add support for new style Dafny test vectors #1219

Sign in to view logs

Triggered via pull request March 5, 2025 18:57

ajewellamz

synchronize #817

ajewell/test_vectors

Status Success

Total duration 18s

Artifacts –

clang-format.yml

on: pull_request