Skip to content
smithy-dafny-conversion workflows

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

Sign in to view logs

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) #782

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gradle-build-smithy-dafny-conversion
25s
25s