Skip to content
Deploy Jekyll site to Pages

Fix: Tail-recursion for result copy types in the Dafny-to-Rust backen… #393

Sign in to view logs

Fix: Tail-recursion for result copy types in the Dafny-to-Rust backen…

Fix: Tail-recursion for result copy types in the Dafny-to-Rust backen… #393

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
15s
deploy
8s
23s