Skip to content

ci: windows: use builtin GHC clang toolchain to build dependencies #2924

ci: windows: use builtin GHC clang toolchain to build dependencies

ci: windows: use builtin GHC clang toolchain to build dependencies #2924

Triggered via pull request November 28, 2024 22:08
Status Success
Total duration 28m 57s
Artifacts 5

build.yml

on: pull_request
bitwuzla-build (win64 target)  /  build
3s
bitwuzla-build (win64 target) / build
Matrix: extra-tests
Matrix: nix-build
build (windows-latest)
28m 28s
build (windows-latest)
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (windows-latest)
Failed to restore: Cache service responded with 429
build (windows-latest)
Cache save failed.

Artifacts

Produced during runtime
Name Size
bitwuzla-win64
4.1 MB
hevm-linux-x64
4.9 MB
hevm-osx-arm64
19.9 MB
hevm-osx-x64
4.46 MB
hevm-windows-x64
15 MB