Skip to content

chore: Move to more recent Dafny prerelease and regenerate rust patch files (fixes nightly Dafny build) #91

chore: Move to more recent Dafny prerelease and regenerate rust patch files (fixes nightly Dafny build)

chore: Move to more recent Dafny prerelease and regenerate rust patch files (fixes nightly Dafny build) #91

Triggered via pull request May 15, 2024 17:32
Status Success
Total duration 33s
Artifacts

format.yml

on: pull_request
check-java
12s
check-java
Fit to window
Zoom out
Zoom in