[DRAFT] add bitwuzla build for linux #3316
msoosethbuild.yml
on: pull_request
bitwuzla-build (win64 target)
/
build
4s
cabal-check
6m 43s
Matrix: extra-tests
Matrix: nix-build
build (windows-latest)
24m 41s
Annotations
44 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/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#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
|
|
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
|
|
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
|
|
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
|
|
build (windows-latest)
Cache not found for keys: win32-foundry-chain-fork-build-windows-db788c068e239540ff98b646477556de1f4373b1, 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 | Digest | |
|---|---|---|---|
|
bitwuzla-win64
|
4.66 MB |
sha256:4d853e9020fbe8f563406a24be4f1f7a24c72cb16baafb6cc24f22956046feed
|
|
|
hevm-linux-x64
|
5.03 MB |
sha256:6ac200cd41f0a850c4ac56fb6942b42aecb29eb71e136cd00b228b2d3ea281b5
|
|
|
hevm-osx-arm64
|
20 MB |
sha256:ea61cf1fe2b745c053a6aa1d440e52db510da411db3cd0341ef8ec893d5f2ee6
|
|
|
hevm-osx-x64
|
4.54 MB |
sha256:30471cb3341fc67883b26c494fbb1806e445f684b7d275c324020c39908a386f
|
|
|
hevm-windows-x64
|
14.9 MB |
sha256:763ec6a983fe14e3b90e0955178f231946354ca2e75b1f65294cf75a734f91e8
|
|