Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add BugProve static analyser (#1426)
* Add BugProve static analyser * Update and rename bugprove to bugprove.yml * assembly -> asm --------- Co-authored-by: Matthias Endler <[email protected]>
- Loading branch information