ci

Seq_lib broadcasting #6388

Sign in to view logs

Triggered via pull request February 6, 2025 12:41

ahuoguo

opened #1436

principled-systems:vstd-broadcast

Status Success

Total duration 11m 12s

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	93.7 MB
verus-x86-linux	25.9 MB
verus-x86-macos	21.8 MB
verus-x86-win	18.3 MB
verusdoc	4.18 MB