Labels

For tasks which seem very big.

Issues relating to cargo integration/usage

Pull requests that update a dependency file

docker based issues

Pull requests that update GitHub Actions code

Issues relating to ptrace and parsing of DWARF tables

Issues relating to reporting results, cobertura, coveralls, html etc

Pull requests that update rust code

Issues relating to analysis of a projects source code.