Check DafnyRuntimePython Version Consistency

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

Sign in to view logs

Triggered via pull request November 22, 2024 21:41

synchronize #1042

python-verison-check

Status Success

Total duration 1m 12s

Artifacts –

check_python_dafny_version.yml

on: pull_request

check-version-consistency