[prone] remove failing tech.picnic.error-prone-support
#2766
+51
−34
Annotations
1 warning
|
Initialize CodeQL
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.
|
Loading