no required module provides package github.com/dafny-lang/DafnyRuntimeGo/System_: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/dafny-lang/DafnyRuntimeGo/dafny: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/dafny-lang/DafnyStandardLibGo/StandardLibrary: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/dafny-lang/DafnyStandardLibGo/StandardLibraryInterop: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/dafny-lang/DafnyStandardLibGo/StandardLibrary_UInt: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/dafny-lang/DafnyStandardLibGo/Wrappers: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2/SimpleEnumV2: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2/SimpleEnumV2Impl: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2/SimpleTypesEnumV2Types: go.mod file not found in current directory or any parent directory; see 'go help modules'

no required module provides package github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2/test/SimpleEnumV2ImplTest: go.mod file not found in current directory or any parent directory; see 'go help modules'

The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1, actions/setup-go@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v1, actions/checkout@v3, dafny-lang/[email protected], actions/setup-go@v2, actions/setup-java@v3, gradle/gradle-build-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/