Nightly test and release workflow #143
nightly-build.yml
on: schedule
nightly-build-for-master
/
...
/
populate-matrix-dimensions
0s
nightly-build-for-master
/
determine-vars
5s
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master
/
...
/
publish-release
Annotations
5 errors and 60 warnings
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
Process completed with exit code 1.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
Process completed with exit code 1.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
Process completed with exit code 1.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
Process completed with exit code 1.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
Process completed with exit code 1.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
Restore cache failed: Dependencies file is not found in D:\a\dafny\dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
Restore cache failed: Dependencies file is not found in D:\a\dafny\dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
Restore cache failed: Dependencies file is not found in D:\a\dafny\dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
Restore cache failed: Dependencies file is not found in D:\a\dafny\dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx
dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
Restore cache failed: Dependencies file is not found in D:\a\dafny\dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 4)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 1)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5)
Restore cache failed: Dependencies file is not found in /Users/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 2)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 4)
Restore cache failed: Dependencies file is not found in /Users/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-latest, 3)
Restore cache failed: Dependencies file is not found in /home/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1)
Restore cache failed: Dependencies file is not found in /Users/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3)
Restore cache failed: Dependencies file is not found in /Users/runner/work/dafny/dafny. Supported file pattern: go.sum
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
nightly-build-for-master / deep-integration-tests / test (macos-latest, 2)
Restore cache failed: Dependencies file is not found in /Users/runner/work/dafny/dafny. Supported file pattern: go.sum
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
integration-test-results-macos-latest-1
Expired
|
1.17 MB |
|
integration-test-results-macos-latest-2
Expired
|
1.17 MB |
|
integration-test-results-macos-latest-3
Expired
|
1.17 MB |
|
integration-test-results-macos-latest-4
Expired
|
1.17 MB |
|
integration-test-results-macos-latest-5
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-latest-1
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-latest-2
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-latest-3
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-latest-4
Expired
|
1.17 MB |
|
integration-test-results-ubuntu-latest-5
Expired
|
1.17 MB |
|