Skip to content
formal verification

Implement ERC-4337 Account and ERC-7579 modules #4859

Sign in to view logs

Implement ERC-4337 Account and ERC-7579 modules

Implement ERC-4337 Account and ERC-7579 modules #4859

Triggered via pull request September 25, 2024 19:05
@ernestognwernestognw
synchronize #5182
ernestognw:account
Status Failure
Total duration 43s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
33s
halmos
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
halmos
Name or service not known (internal-api.service.iad.github.net:443)
halmos
Failed to download action 'https://internal-api.service.iad.github.net/repos/actions/setup-node/tarball/0a44ba7841725637a19e28fa30b79a866c81b0a6'. Error: Name or service not known (internal-api.service.iad.github.net:443)
halmos
Back off 10.474 seconds before retry.
halmos
Failed to download action 'https://internal-api.service.iad.github.net/repos/actions/setup-node/tarball/0a44ba7841725637a19e28fa30b79a866c81b0a6'. Error: Name or service not known (internal-api.service.iad.github.net:443)
halmos
Back off 20.464 seconds before retry.