Skip to content
ci

overhaul the trigger-printing flags to support printing manually chosen triggers #6341

Sign in to view logs

overhaul the trigger-printing flags to support printing manually chosen triggers

overhaul the trigger-printing flags to support printing manually chosen triggers #6341

Triggered via pull request January 27, 2025 18:38
@utaalutaal
opened #1415
triggers-printing-overhaul
Status Success
Total duration 14m 11s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
55s
fmt
smoke-test-and-release-macos-x86
11m 15s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
7m 48s
smoke-test-and-release-windows
smoke-test-and-release-linux
6m 34s
smoke-test-and-release-linux
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
verus-arm64-macos
92.5 MB
verus-x86-linux
26 MB
verus-x86-macos
21.8 MB
verus-x86-win
18.3 MB
verusdoc
4.15 MB