Lint the sources

[ cleanup ] Simplify `Impossible.mkTerm` signature #748

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 1, 2025 18:45

spcfox

fix-coverage-check

Status Success

Total duration 10s

Artifacts –

ci-lint.yml

on: push