Skip to content
Build and Test Dafny Runtimes

Fix: Tail-Recursion for the Dafny-to-Rust compiler #8299

Sign in to view logs

Fix: Tail-Recursion for the Dafny-to-Rust compiler

Fix: Tail-Recursion for the Dafny-to-Rust compiler #8299

build

build
succeeded Aug 6, 2024 in 4m 4s