Check DafnyRuntimePython Version Consistency

feat: Optimization improvements #421

Sign in to view logs

Triggered via pull request February 10, 2025 15:35

ajewellamz

synchronize #909

seebees/optimizations

Status Success

Total duration 13s

Artifacts –

check_dafny_runtime_versions.yml

on: pull_request

check-version-consistency