Skip to content
lint

KD: Rename Induction to Inductive. More apt. #628

Sign in to view logs

KD: Rename Induction to Inductive. More apt.

KD: Rename Induction to Inductive. More apt. #628

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hlint
1m 2s
1m 2s