Code scanning - action

Fix @RepeatUntilFailure extension with unknown iteration count #3831

Sign in to view logs

Triggered via pull request November 5, 2024 10:24

Vampire

synchronize #2031

Vampire:fix-repeat-until-failure

Status Success

Total duration 4m 3s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: CodeQL-Build