Adrian Frischkorn
Results
3
issues of
Adrian Frischkorn
I have a proxy configuration for github in my `.gitconfig` but COQdeps seems to ignore it. As a result I'm unable to fetch and install the github dependencies needed. Is...
* chore: remove quotes
I was looking for an alternative to https://github.com/microsoft/sbom-tool with CycloneDX support and came across this repo. Thanks for the tool! :-) One suggestion though: The SBOM generation failed for me...
enhancement