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

Triggered via push October 17, 2024 17:55
@MikaelMayerMikaelMayer
pushed eb92408
master
Status Success
Total duration 40s
Artifacts 1

jekyll.yml

on: push
build
14s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.86 MB