Skip to content
Build agda-core

drop unused names #67

Sign in to view logs

drop unused names

drop unused names #67

Triggered via push January 22, 2024 10:04
@liesnikovliesnikov
pushed efb0a47
typechecker
Status Success
Total duration 1m 30s
Artifacts –

agda-core-build.yml

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