Skip to content
Build

[ fix ] fix invalid forward declaration #623

Sign in to view logs

[ fix ] fix invalid forward declaration

[ fix ] fix invalid forward declaration #623

Re-run triggered January 30, 2025 05:37
@buzdenbuzden
#80
dunhamsteve:fix-forward-decl
Status Success
Total duration 59s
Artifacts –

ci-lib.yml

on: pull_request
Build the lib with Idris2 HEAD
48s
Build the lib with Idris2 HEAD
Build the lib with Idris2 at PR state
0s
Build the lib with Idris2 at PR state
Fit to window
Zoom out
Zoom in