More symbolic overapproximation when the remote contract cannot be fetched, adding CodeHash SMT representation #3306
blishkobuild.yml
on: pull_request
bitwuzla-build (win64 target)
/
build
5s
cabal-check
5m 57s
Matrix: extra-tests
Matrix: nix-build
build (windows-latest)
23m 26s
Annotations
51 warnings
|
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#L254
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/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/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/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#L254
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/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/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/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
|
|
nix-build (linux-x64)
Failed to restore: Cache service responded with 429
|
|
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
|
|
nix-build (linux-x64)
Failed to restore: Cache service responded with 429
|
|
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#L254
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
|
|
extra-tests (ubuntu-latest)
Failed to restore: Cache service responded with 429
|
|
cabal-check
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#L254
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
|
|
cabal-check
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#L254
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
|
|
nix-build (osx-arm64)
Failed to restore: Cache service responded with 429
|
|
build (windows-latest)
Cache not found for keys: win32-foundry-chain-fork-build-windows-c9957b806ba2c453b3b2738c320419c7168b985b, 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#L254
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 | |
|---|---|---|
|
hevm-osx-x64
|
4.54 MB |
|