formal verification

Treat code-size warnings as errors #5240

Sign in to view logs

Triggered via pull request October 23, 2024 07:27

Amxx

synchronize #5101

frangio:code-size-warning

Status Success

Total duration 1m 43s

Artifacts –

formal-verification.yml

on: pull_request