Skip to content
Check DafnyRuntimePython Version Consistency

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

Sign in to view logs

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion

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

Run time

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