Skip to content
Check DafnyRuntimePython Version Consistency

feat: Optimization improvements #422

Sign in to view logs

feat: Optimization improvements

feat: Optimization improvements #422

Triggered via pull request February 10, 2025 15:45
@ajewellamzajewellamz
synchronize #909
seebees/optimizations
Status Success
Total duration 15s
Artifacts –

check_dafny_runtime_versions.yml

on: pull_request
check-version-consistency
7s
check-version-consistency
Fit to window
Zoom out
Zoom in