Skip to content
Agda

fix(characteristic): correct ModeGrade -> ModeGraded import typo #220

Sign in to view logs

fix(characteristic): correct ModeGrade -> ModeGraded import typo

fix(characteristic): correct ModeGrade -> ModeGraded import typo #220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
3m 0s
3m 0s