[prone] remove failing tech.picnic.error-prone-support
#5094
Pankraz76Annotations
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.
|