CodeQL

fix!: avoid add witnesses for predicates #217

Sign in to view logs

Triggered via pull request May 4, 2024 19:45

Torres-ssf

synchronize #2037

st/fix/witness-entry-for-predicates

Status Success

Total duration 2m 17s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze