Add is_empty and is_singleton to multiset #6009

Sign in to view logs

Re-run triggered October 15, 2024 17:10

utaal

#1246

rikosellic:main

Status Success

Total duration 10m 59s

Artifacts 4

ci.yml

on: pull_request

Matrix: test-and-release-macos

smoke-test-and-release-windows

smoke-test-and-release-linux

Artifacts

Produced during runtime

Name	Size
verus-arm64-macos	19.6 MB
verus-x86-linux	27.5 MB
verus-x86-win	17.4 MB
verusdoc	4.23 MB