Skip to content
CodeQL

Update to the fixed version of Vampire #540

Sign in to view logs

Update to the fixed version of Vampire

Update to the fixed version of Vampire #540

Triggered via push May 27, 2024 19:27
@ByronByron
pushed 7bdcfa5
dependabot/github_actions/Vampire/setup-wsl-3.1.0
Status Success
Total duration 2m 26s
Artifacts –

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Analyze (python)
The setup-python-dependencies input is deprecated and no longer has any effect. We recommend removing any references from your workflows. See https://github.blog/changelog/2024-01-23-codeql-2-16-python-dependency-installation-disabled-new-queries-and-bug-fixes/ for more information.