Check banned CLI dynamic deps

[Spec] add boogie native for aggregator_v2 #26033

Sign in to view logs

Triggered via pull request October 5, 2024 08:10

rahxephon89

opened #14881

teng/aggregator-spec-v2

Status Success

Total duration 44s

Artifacts –

cli-external-deps.yaml

on: pull_request

check-dynamic-deps