Process completed with exit code 1.

Process completed with exit code 1.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

This label has not been referenced

This label has not been referenced

The variable '_1318_maxCacheSize' is assigned but its value is never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable '_402_cmm' is assigned but its value is never used

Unreachable code detected

The variable 'ignore' is declared but never used

The variable 'ex' is declared but never used

This label has not been referenced

This label has not been referenced

The variable '_1318_maxCacheSize' is assigned but its value is never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected