Skip to content
Check DafnyRuntimePython Version Consistency

feat: Optimization improvements #372

Sign in to view logs

feat: Optimization improvements

feat: Optimization improvements #372

Triggered via pull request February 2, 2025 16:49
@ajewellamzajewellamz
synchronize #909
seebees/optimizations
Status Success
Total duration 11s
Artifacts –

check_dafny_runtime_versions.yml

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