Update to the fixed version of Vampire
#540
Annotations
1 warning
|
Initialize CodeQL
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.
|
Loading