Skip to content
Build DafnyRef.pdf

Fix: Shadowing of output variables in methods in Dafny-to-Rust #20138

Sign in to view logs

Fix: Shadowing of output variables in methods in Dafny-to-Rust

Fix: Shadowing of output variables in methods in Dafny-to-Rust #20138

Triggered via pull request June 23, 2025 18:47
@MikaelMayerMikaelMayer
opened #6278
fix-6261-shadowing-output-variables
Status Success
Total duration 3m 3s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
DafnyRef Expired
1.47 MB
sha256:0c9110b4b5435353ac199d228c9c07e09648f1ee9a6462ece20f33bcb63b2a43