CI

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

Sign in to view logs

Triggered via pull request July 29, 2024 23:51

cho-m

opened #178918

cbmc-long-build

Status Success

Total duration 3m 8s

Artifacts –

tests.yml

on: pull_request

formulae_detect

Matrix: tap_syntax

report_analytics

setup_dep_tests

Matrix: tests

setup_dep_runners

Matrix: test_deps

Annotations

1 notice

`tests` job status: skipped