Fix BulkAddKey struct IKeyRegistry.sol (#451) #1119
sdsAnnotations
4 errors and 5 warnings
|
halmos
Process completed with exit code 2.
|
|
build-image
buildx bake failed with: ERROR: target l2-deployer: failed to solve: process "/bin/sh -c apt-get update -y && apt-get install -y bash curl git gzip netcat" did not complete successfully: exit code: 100
|
|
test
Process completed with exit code 1.
|
|
coverage
The code coverage is too low: 0. Expected at least 94.
|
|
halmos
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-image
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coverage
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/
|