Skip to content
smithy-dafny-conversion workflows

Rename fetchAddress to referenceType #2790

Sign in to view logs

Rename fetchAddress to referenceType

Rename fetchAddress to referenceType #2790

Triggered via pull request December 23, 2024 22:32
@ShubhamChaturvedi7ShubhamChaturvedi7
opened #754
ShubhamChaturvedi7-patch-1
Status Success
Total duration 52s
Artifacts –

smithy-dafny-conversion.yml

on: pull_request
gradle-build-smithy-dafny-conversion
40s
gradle-build-smithy-dafny-conversion
Fit to window
Zoom out
Zoom in

Annotations

1 warning
gradle-build-smithy-dafny-conversion
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636