ci

fix trigger in `to_multiset_len` and `commutative_foldr` proof #6434

Sign in to view logs

Triggered via pull request February 17, 2025 22:33

ahuoguo

opened #1454

fix_commutative_foldr

Status Success

Total duration 13m 2s

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.3 MB
verusdoc	4.2 MB