ci

New Attribute-based loop specification #6439

Sign in to view logs

Triggered via pull request February 18, 2025 01:38

ziqiaozhou

opened #1455

attribute-macro-loop

Status Success

Total duration 33m 15s

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	26 MB
verus-x86-macos	21.8 MB
verus-x86-win	18.4 MB
verusdoc	4.19 MB