Test extra build flows

smt2: fix bitwuzla invocation #799

Sign in to view logs

Re-run triggered September 8, 2024 22:18

KrystalDelusion

#4589

mattyoung101:main

Status Success

Total duration 19m 22s

Artifacts 1

extra-builds.yml

on: pull_request

Prepare Visual Studio build

Matrix: Build nix flake

Visual Studio build

Artifacts

Produced during runtime

Name	Size
vcxsrc Expired	3.5 MB