ci

disallow #[trigger <expr>], fixes #1456 #6442

Sign in to view logs

Triggered via pull request February 18, 2025 18:56

utaal

opened #1458

fix-1456

Status Success

Total duration 16m 26s

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