Skip to content

verific: add option to skip simplifying complex ports #2843

verific: add option to skip simplifying complex ports

verific: add option to skip simplifying complex ports #2843

Triggered via pull request January 30, 2024 15:37
Status Success
Total duration 30m 1s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-macos.yml

on: pull_request
Matrix: test-macos
Fit to window
Zoom out
Zoom in