Check DafnyRuntimePython Version Consistency

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

Sign in to view logs

Triggered via pull request November 22, 2024 18:10

synchronize #1042

python-verison-check

Status Success

Total duration 1m 1s

Artifacts –

check_python_dafny_version.yml

on: pull_request

check-version-consistency