Fix: Constant initialization in the Dafny-to-Rust code generator #8801
Triggered via pull request
October 16, 2024 20:14
Status
Cancelled
Total duration
4m 55s
Artifacts
–
runtime-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
build
4m 34s