Skip to content
Build agda-core

make agda2hs slightly happier with 1+_ instead of suc #70

Sign in to view logs

make agda2hs slightly happier with 1+_ instead of suc

make agda2hs slightly happier with 1+_ instead of suc #70

Triggered via push January 22, 2024 13:28
@liesnikovliesnikov
pushed fbd95ca
typechecker
Status Success
Total duration 1m 43s
Artifacts –

agda-core-build.yml

on: push
build
1m 30s
build
Fit to window
Zoom out
Zoom in