Code scanning - action

Fix @RepeatUntilFailure extension with unknown iteration count #3819

Sign in to view logs

Triggered via pull request November 4, 2024 11:23

Vampire

synchronize #2031

Vampire:fix-repeat-until-failure

Status Success

Total duration 4m 10s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: CodeQL-Build