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

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk-dafny/aws-encryption-sdk-dafny. Supported file pattern: go.sum

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected