Skip to content
Check Python Dafny Version

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #1

Sign in to view logs

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-version-consistency
3s
3s