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

Triggered via push November 25, 2024 15:17
@MikaelMayerMikaelMayer
pushed 48c876f
master
Status Success
Total duration 42s
Artifacts 1

jekyll.yml

on: push
build
15s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.86 MB