The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

This label has not been referenced

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

Unreachable code detected

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, 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/

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, 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/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

Unreachable code detected

Unreachable code detected

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

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, 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/

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

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

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

Unreachable code detected

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

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

Unreachable code detected

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

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

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

Unreachable code detected

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: 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/

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

Unreachable code detected

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

Unreachable code detected

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, 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/

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

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

Unreachable code detected

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, 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/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, 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/

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

Unreachable code detected

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

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

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@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/

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@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/

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@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/

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@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/

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, 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/

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

Unreachable code detected

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, 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/

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