Skip to content

chore(CI): fix dafny_interop to setup_net #2150

chore(CI): fix dafny_interop to setup_net

chore(CI): fix dafny_interop to setup_net #2150

Annotations

2 warnings

pr-ci-codegen  /  code-generation (TestVectors, 6.0.x, ubuntu-22.04, 1.23)

succeeded Aug 1, 2025 in 11m 33s