Skip to content

Build

Build #2015

Annotations

1 warning

Build pack with Idris2 latest

succeeded Jan 24, 2025 in 42s