Generalize succNotLTEpred
#5977
ci-super-linter.yml
on: pull_request
Lint Code Base
1m 53s
succNotLTEpred
#5977