Kani Format Check

Do not run performance benchmarks for tags #5133

Sign in to view logs

Triggered via pull request September 7, 2023 18:03

adpaco-aws

opened #2745

adpaco-aws:no-bench-on-release

Status Success

Total duration 5m 38s

Artifacts –

format-check.yml

on: pull_request

Annotations

1 error

format-check

Process completed with exit code 123.