Skip to content

[ compat ] adjust to upstream changes #347

[ compat ] adjust to upstream changes

[ compat ] adjust to upstream changes #347

Annotations

1 error and 1 warning

Build stefan-hoeck/idris2-pretty-show with Idris2 latest

failed Dec 3, 2024 in 24s