ci

explicitly handle NeverToAny #6300

Sign in to view logs

Triggered via pull request January 22, 2025 03:39

tjhance

opened #1396

never-to-any

Status Success

Total duration 16m 20s

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	92.4 MB
verus-x86-linux	26 MB
verus-x86-macos	21.8 MB
verus-x86-win	18.3 MB
verusdoc	4.11 MB