Skip to content

Build

Build #605

Annotations

2 warnings

Build stefan-hoeck/idris2-dom-mvc with Idris2 latest

succeeded Jul 31, 2024 in 3m 25s