Lint the sources

Generalize `succNotLTEpred` (#3225) #6066

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push March 7, 2024 14:38

mattpolzin

main

Status Success

Total duration 12s

Artifacts –

ci-lint.yml

on: push