Symbolic EXTCODESIZE & CALL return value when the address is symbolic
#3190
Triggered via pull request
February 12, 2025 19:10
msooseth
Status
Failure
Total duration
1h 19m 54s
Artifacts
5
build.yml
on: pull_request
bitwuzla-build (win64 target)
/
build
8s
cabal-check
6m 24s
Matrix: extra-tests
Matrix: nix-build
build (windows-latest)
22m 48s
Annotations
1 error and 45 warnings
|
build (windows-latest)
Process completed with exit code 1.
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L34
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L57
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L256
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/check-dependencies.yml#L19
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/publish-docs.yml#L15
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L31
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L48
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L34
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L57
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L256
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/check-dependencies.yml#L19
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/publish-docs.yml#L15
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L31
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L48
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
extra-tests (ubuntu-latest)
Failed to restore: Cache service responded with 429
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L34
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L57
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L256
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/check-dependencies.yml#L19
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/publish-docs.yml#L15
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L31
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L48
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L34
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L57
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L256
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/check-dependencies.yml#L19
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/publish-docs.yml#L15
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L31
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L48
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
build (windows-latest)
Cache not found for keys: win32-foundry-chain-fork-build-windows-05d1045a62873ad7af9288b8663f5a69925ea4dd, win32-foundry-chain-fork-build-windows-, win32-foundry-chain-fork-
|
|
build (windows-latest):
src/EVM/Solidity.hs#L53
Module ‘Data.Aeson’ does not export ‘json’
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L34
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L57
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L256
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/check-dependencies.yml#L19
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/publish-docs.yml#L15
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L31
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L48
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L34
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L57
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/build.yml#L256
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/check-dependencies.yml#L19
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/publish-docs.yml#L15
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L31
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
Magic Nix Cache is deprecated:
.github/workflows/release.yml#L48
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
bitwuzla-win64
|
4.66 MB |
|
|
hevm-linux-x64
|
5.01 MB |
|
|
hevm-osx-arm64
|
20 MB |
|
|
hevm-osx-x64
|
4.53 MB |
|
|
hevm-windows-x64
|
14.9 MB |
|