Syntactic checks

CONTRACTS: ensure at most one predicate per pointer #3086

Sign in to view logs

Triggered via pull request January 31, 2025 04:30

remi-delmas-3000

synchronize #8577

remi-delmas-3000:contracts-ptr-pred-ctx

Status Success

Total duration 1m 30s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format