Skip to content
Build agda-core

Use a record type Globals collecting scopes for definitions, construc… #30

Sign in to view logs

Use a record type Globals collecting scopes for definitions, construc…

Use a record type Globals collecting scopes for definitions, construc… #30

Triggered via push January 17, 2024 17:40
@jespercockxjespercockx
pushed b008d8b
Globals
Status Success
Total duration 2m 19s
Artifacts –

agda-core-build.yml

on: push
build
2m 11s
build
Fit to window
Zoom out
Zoom in