Check DafnyRuntimePython Version Consistency

feat: Check-in polymorph generated code #20

Sign in to view logs

Triggered via pull request December 17, 2024 18:50

ShubhamChaturvedi7

synchronize #1130

Golang/Primitives

Status Success

Total duration 13s

Artifacts –

check_dafny_runtime_versions.yml

on: pull_request

check-version-consistency

Annotations

1 warning

check-version-consistency

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636