chore: Change function names and refactor #1649
rishav-karanjitpull.yml
on: pull_request
pr-populate-dafny-versions
0s
Matrix: pr-ci-go
Matrix: pr-ci-java
Matrix: pr-ci-net
Matrix: pr-ci-python
Matrix: pr-ci-rust
Matrix: pr-ci-verification
pr-ci-all-required
2s
Annotations
41 errors and 269 warnings
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (2)
Process completed with exit code 100.
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (1)
Process completed with exit code 100.
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (5)
Process completed with exit code 100.
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (4)
Process completed with exit code 100.
|
|
pr-ci-java (4.4.0) / testJava (1)
Gradle build failed: see console output for details
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 9, 6.0.x, ubuntu-latest)
Gradle build failed: see console output for details
|
|
pr-ci-go (4.8.0) / testGo (2)
WrappedSimpleLocalService.Companion_Default___.WrappedSimpleLocalService undefined (type WrappedSimpleLocalService.CompanionStruct_Default___ has no field or method WrappedSimpleLocalService)
|
|
pr-ci-go (4.8.0) / testGo (2)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (2)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (2)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (4)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (4)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (4)
WrappedSimpleTypesEnumService.Companion_Default___.WrappedSimpleEnum undefined (type WrappedSimpleTypesEnumService.CompanionStruct_Default___ has no field or method WrappedSimpleEnum)
|
|
pr-ci-java (4.4.0) / testJava (2)
Gradle build failed: see console output for details
|
|
pr-ci-go (4.8.0) / testGo (5)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (5)
undefined: ExternConstructor.Companion_ExternConstructorClass_
|
|
pr-ci-go (4.8.0) / testGo (5)
undefined: ExternConstructor.ExternConstructorClass
|
|
pr-ci-go (4.8.0) / testGo (5)
undefined: ExternConstructor.ExternConstructorClass
|
|
pr-ci-go (4.8.0) / testGo (5)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (5)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (5)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (5)
WrappedSimpleTypesStringService.Companion_Default___.WrappedSimpleString undefined (type WrappedSimpleTypesStringService.CompanionStruct_Default___ has no field or method WrappedSimpleString)
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 5, 6.0.x, ubuntu-latest)
Gradle build failed: see console output for details
|
|
pr-ci-go (4.8.0) / testGo (3)
WrappedSimpleCodegenPatchesService.Companion_Default___.WrappedCodegenPatches undefined (type WrappedSimpleCodegenPatchesService.CompanionStruct_Default___ has no field or method WrappedCodegenPatches)
|
|
pr-ci-go (4.8.0) / testGo (3)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (3)
WrappedSimpleTypesDouble.Companion_Default___.WrappedSimpleDouble undefined (type WrappedSimpleTypesDouble.CompanionStruct_Default___ has no field or method WrappedSimpleDouble)
|
|
pr-ci-go (4.8.0) / testGo (3)
WrappedSimpleTypesLongService.Companion_Default___.WrappedSimpleLong undefined (type WrappedSimpleTypesLongService.CompanionStruct_Default___ has no field or method WrappedSimpleLong)
|
|
pr-ci-go (4.8.0) / testGo (3)
package Com is not in std (/home/runner/go/pkg/mod/golang.org/[email protected]/src/Com)
|
|
pr-ci-go (4.8.0) / testGo (3)
package Com_Amazonaws is not in std (/home/runner/go/pkg/mod/golang.org/[email protected]/src/Com_Amazonaws)
|
|
pr-ci-go (4.8.0) / testGo (3)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-java (4.2.0) / testJava (5)
Gradle build failed: see console output for details
|
|
pr-ci-go (4.8.0) / testGo (1)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (1)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-go (4.8.0) / testGo (1)
package Com is not in std (/home/runner/go/pkg/mod/golang.org/[email protected]/src/Com)
|
|
pr-ci-go (4.8.0) / testGo (1)
package Com_Amazonaws is not in std (/home/runner/go/pkg/mod/golang.org/[email protected]/src/Com_Amazonaws)
|
|
pr-ci-go (4.8.0) / testGo (1)
no required module provides package github.com/dafny-lang/DafnyRuntimeGo/v4/dafny; to add it:
|
|
pr-ci-java (4.2.0) / testJava (2)
Gradle build failed: see console output for details
|
|
pr-ci-java (4.4.0) / testJava (3)
Gradle build failed: see console output for details
|
|
pr-ci-java (4.4.0) / testJava (4)
Gradle build failed: see console output for details
|
|
pr-ci-java (4.8.0) / testJava (4)
Gradle build failed: see console output for details
|
|
pr-ci-all-required
Process completed with exit code 1.
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (2)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (2)
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. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (1)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (1)
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. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (5)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (5)
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. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (4)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (4)
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. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 10, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 10, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 10, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 7, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 7, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 7, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 10, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 10, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 2, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 2, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 2, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 2, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 8, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 8, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-java (4.4.0) / testJava (5)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.4.0) / testJava (5)
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-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/
|
|
pr-ci-java (4.4.0) / testJava (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 4, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 4, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 7, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 7, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 8, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 8, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 9, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 9, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-java (4.4.0) / testJava (1)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.4.0) / testJava (1)
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-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/
|
|
pr-ci-java (4.4.0) / testJava (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 5, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 5, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 9, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 9, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 9, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 9, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 9, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 9, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-go (4.8.0) / testGo (2)
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/
|
|
pr-ci-go (4.8.0) / testGo (2)
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/
|
|
pr-ci-go (4.8.0) / testGo (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 10, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 10, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 8, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 8, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 9, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 9, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-java (4.8.0) / testJava (5)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.8.0) / testJava (5)
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-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/
|
|
pr-ci-java (4.8.0) / testJava (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 3, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 3, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 5, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 5, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 10, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 10, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-go (4.8.0) / testGo (4)
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/
|
|
pr-ci-go (4.8.0) / testGo (4)
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/
|
|
pr-ci-go (4.8.0) / testGo (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.8.0) / testJava (1)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.8.0) / testJava (1)
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-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/
|
|
pr-ci-java (4.8.0) / testJava (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 3, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 3, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 3, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.2.0) / testJava (1)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.2.0) / testJava (1)
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-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/
|
|
pr-ci-java (4.2.0) / testJava (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 6, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 6, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 8, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 8, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 8, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 4, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 4, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 4, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 9, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 9, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 6, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 6, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 6, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 6, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 8, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 8, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 8, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.4.0) / testJava (2)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.4.0) / testJava (2)
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-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/
|
|
pr-ci-java (4.4.0) / testJava (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 5, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 5, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 5, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 1, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 1, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-f1d9f8fbfdb5a6396029d6d93337fe1c: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-305508e569c9a87b089620ec39df7161: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-6c928a53124409c593074917d73bef59: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore instrumented-jars-05062c81c5a1330293eb7fe3882d6f95: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore wrapper-zips-bc3b0af9970a768f816439191211e285: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-f7053b13997cd47925adc8f4d7041175: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore dependencies-6fef7ee4cd336fdb062f3b833efdb98f: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-4ebefdd7992a5d0009d1b258938807f2: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
Failed to restore wrapper-zips-f48368615a04b6f60d5c60934a21dd47: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 2, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 7, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 7, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-go (4.8.0) / testGo (5)
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/
|
|
pr-ci-go (4.8.0) / testGo (5)
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/
|
|
pr-ci-go (4.8.0) / testGo (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 8, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 8, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 8, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 7, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 7, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 7, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 3, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 3, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-java (4.2.0) / testJava (4)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.2.0) / testJava (4)
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-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/
|
|
pr-ci-java (4.2.0) / testJava (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 7, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 7, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 1, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 1, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 1, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 7, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 7, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 7, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 2, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 2, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 2, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 2, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 2, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 5, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 5, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 5, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 9, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 9, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 9, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.2.0) / testJava (3)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.2.0) / testJava (3)
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-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/
|
|
pr-ci-java (4.2.0) / testJava (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 5, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 5, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 5, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-go (4.8.0) / testGo (3)
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/
|
|
pr-ci-go (4.8.0) / testGo (3)
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/
|
|
pr-ci-go (4.8.0) / testGo (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.2.0) / testJava (5)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.2.0) / testJava (5)
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-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/
|
|
pr-ci-java (4.2.0) / testJava (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 1, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 1, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 1, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-python (4.8.0) / testPython (4)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-python (4.8.0) / testPython (4)
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-python@v4, 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/
|
|
pr-ci-python (4.8.0) / testPython (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 3, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 3, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 5, ubuntu-latest)
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/
|
|
pr-ci-verification (4.2.0) / verification (4.2.0, 5, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-python (4.8.0) / testPython (2)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-python (4.8.0) / testPython (2)
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-python@v4, 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/
|
|
pr-ci-python (4.8.0) / testPython (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.8.0) / testJava (2)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.8.0) / testJava (2)
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-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/
|
|
pr-ci-java (4.8.0) / testJava (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 10, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 10, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 10, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 10, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 10, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 10, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 1, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 1, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-python (4.8.0) / testPython (5)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-python (4.8.0) / testPython (5)
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-python@v4, 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/
|
|
pr-ci-python (4.8.0) / testPython (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 1, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 1, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 1, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-go (4.8.0) / testGo (1)
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/
|
|
pr-ci-go (4.8.0) / testGo (1)
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/
|
|
pr-ci-go (4.8.0) / testGo (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 4, ubuntu-latest)
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/
|
|
pr-ci-verification (4.4.0) / verification (4.4.0, 4, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-java (4.2.0) / testJava (2)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.2.0) / testJava (2)
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-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/
|
|
pr-ci-java (4.2.0) / testJava (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 1, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 1, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 4, ubuntu-latest)
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/
|
|
pr-ci-verification (4.8.0) / verification (4.8.0, 4, ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, dafny-lang/[email protected], 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/
|
|
pr-ci-java (4.4.0) / testJava (3)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.4.0) / testJava (3)
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-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/
|
|
pr-ci-java (4.4.0) / testJava (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.8.0) / testJava (3)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.8.0) / testJava (3)
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-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/
|
|
pr-ci-java (4.8.0) / testJava (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-python (4.8.0) / testPython (1)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-python (4.8.0) / testPython (1)
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-python@v4, 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/
|
|
pr-ci-python (4.8.0) / testPython (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-python (4.8.0) / testPython (3)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-python (4.8.0) / testPython (3)
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-python@v4, 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/
|
|
pr-ci-python (4.8.0) / testPython (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.4.0) / testJava (4)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.4.0) / testJava (4)
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-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/
|
|
pr-ci-java (4.4.0) / testJava (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-java (4.8.0) / testJava (4)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-java (4.8.0) / testJava (4)
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-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/
|
|
pr-ci-java (4.8.0) / testJava (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 2, 6.0.x, ubuntu-latest)
Failed to restore v8-gradle|Linux|pr ci-testDotNet[c4d9dbb491c64c2e79c970435017ce97]-68f87fcbd529ca3a6f3fce0a3d13e15247ee8502: Error: Cache service responded with 429
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 2, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 2, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 2, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 6, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 6, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.2.0) / testDotNet (4.2.0, 6, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 6, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 6, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 6, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore dependencies-6fef7ee4cd336fdb062f3b833efdb98f: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-4ebefdd7992a5d0009d1b258938807f2: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-f1d9f8fbfdb5a6396029d6d93337fe1c: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-6c928a53124409c593074917d73bef59: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-c92a389859e7cb51961994838a98b964: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore wrapper-zips-bc3b0af9970a768f816439191211e285: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore instrumented-jars-05062c81c5a1330293eb7fe3882d6f95: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore wrapper-zips-6c160f6f9e146bad1a7c37a6b009db6e: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore wrapper-zips-f48368615a04b6f60d5c60934a21dd47: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
Failed to restore generated-gradle-jars-f7053b13997cd47925adc8f4d7041175: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 3, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 4, 6.0.x, ubuntu-latest)
Failed to restore v8-gradle|Linux|pr ci-testDotNet[29e57078ccad7a619b839d8d3263eff3]-68f87fcbd529ca3a6f3fce0a3d13e15247ee8502: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 4, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 4, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 4, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
Unreachable code detected
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
This label has not been referenced
|
|
pr-ci-rust (ab5af65d33b7d44905807f6598b0fbccd5fc39c9) / testRust (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 4, 6.0.x, ubuntu-latest)
Failed to restore v8-gradle|Linux|pr ci-testDotNet[3fe3807f24149a6dc90dbe9898cde02d]-68f87fcbd529ca3a6f3fce0a3d13e15247ee8502: Error: Cache service responded with 429
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 4, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 4, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 4, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 3, 6.0.x, ubuntu-latest)
Failed to restore v8-gradle|Linux|pr ci-testDotNet[c1b0617b93254df635e32329333ef012]-68f87fcbd529ca3a6f3fce0a3d13e15247ee8502: Error: Cache service responded with 429
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 3, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 3, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.8.0) / testDotNet (4.8.0, 3, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 6, 6.0.x, ubuntu-latest)
Failed to restore v8-gradle|Linux|pr ci-testDotNet[597eb03a52bd4ba35ee62acfdd98652f]-68f87fcbd529ca3a6f3fce0a3d13e15247ee8502: Error: Cache service responded with 429
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 6, 6.0.x, ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: aws-actions/configure-aws-credentials@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 6, 6.0.x, ubuntu-latest)
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-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/
|
|
pr-ci-net (4.4.0) / testDotNet (4.4.0, 6, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|