Remove SMT logic for Zero Prover #3322
Annotations
8 warnings
kurtosis-cdk (rollup)
The following actions use a deprecated Node.js version and will be forced to run on node20: docker/setup-buildx-action@v2, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
kurtosis-cdk (rollup)
No files were found with the provided path: ./cdk-erigon/logs/evm-rpc-tests.log. No artifacts will be uploaded.
|
kurtosis-cdk (cdk-validium)
The following actions use a deprecated Node.js version and will be forced to run on node20: docker/setup-buildx-action@v2, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
kurtosis-cdk (cdk-validium)
No files were found with the provided path: ./cdk-erigon/logs/evm-rpc-tests.log. No artifacts will be uploaded.
|
kurtosis-cdk-post-london
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
kurtosis-cdk-post-london
No files were found with the provided path: ./cdk-erigon/logs/evm-rpc-tests.log. No artifacts will be uploaded.
|
tests (macos-14-xlarge)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-go@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
tests (ubuntu-22.04)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-go@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|