Check DafnyRuntimePython Version Consistency

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

Sign in to view logs

Triggered via pull request November 22, 2024 17:26

synchronize #1042

python-verison-check

Status Success

Total duration 18s

Artifacts –

check_python_dafny_version.yml

on: pull_request

check-version-consistency