Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We briefly disabled `pip-audit` on PRs to get the release PR to pass, as pypa/pip-audit#81 hasn't been merged yet and the version of Manticore we told it to look at hadn't been published to PyPI yet.
- Loading branch information