Skip to content
Deploy Jekyll site to Pages

Fix: Constant initialization in the Dafny-to-Rust code generator (#5837) #348

Sign in to view logs

Fix: Constant initialization in the Dafny-to-Rust code generator (#5837)

Fix: Constant initialization in the Dafny-to-Rust code generator (#5837) #348

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
14s
deploy
7s
21s