Skip to content
Check DafnyRuntimePython Version Consistency

chore: support async rust #311

Sign in to view logs

chore: support async rust

chore: support async rust #311

Triggered via pull request January 26, 2025 16:37
@ajewellamzajewellamz
synchronize #1200
ajewell/sync-rust
Status Success
Total duration 12s
Artifacts –

check_dafny_runtime_versions.yml

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