[prone] remove failing tech.picnic.error-prone-support (#2766)
#5101
nedtwiggAnnotations
2 warnings
|
Analyze (javascript)
1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.
|
|
Analyze (java)
1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.
|