Agda

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

Sign in to view logs

Triggered via push May 1, 2026 00:51

chore/agda-ci-add-absolute-zero

Status Success

Total duration 3m 4s

Artifacts –

agda.yml

on: push