Skip to content
Build agda-core

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

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… #24

Triggered via push January 17, 2024 17:34
@jespercockxjespercockx
pushed bd95f4b
Globals
Status Success
Total duration 1m 58s
Artifacts –

agda-core-build.yml

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