CI

workflows/triage: label `cbmc` as "long build" #414165

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formulae_detect	30s
tap_syntax	2m 24s
tap_syntax (stable)	2m 30s
report_analytics	1s
setup_tests	5s
setup_dep_tests	7s
setup_runners	31s
setup_dep_runners	0s
${{ matrix.name }}	0s
${{ matrix.name }} (deps)	0s
conclusion	1s
	6m 9s