Add --log smt-transcript option #6045

Sign in to view logs

Triggered via pull request October 25, 2024 22:49

Chris-Hawblitzel

opened #1320

smt-transcript

Status Success

Total duration 11m 25s

Artifacts 5

ci.yml

on: pull_request

Matrix: test-and-release-macos

smoke-test-and-release-macos-x86

smoke-test-and-release-windows

smoke-test-and-release-linux

Artifacts

Produced during runtime

Name	Size
verus-arm64-macos	20 MB
verus-x86-linux	27.9 MB
verus-x86-macos	21.3 MB
verus-x86-win	17.7 MB
verusdoc	4.25 MB