Build

[ fix ] fix invalid forward declaration (#80) #624

Sign in to view logs

Triggered via push January 30, 2025 05:41

buzden

main

Status Success

Total duration 58s

Artifacts –

ci-lib.yml

on: push

Build the lib with Idris2 HEAD

Build the lib with Idris2 at PR state