Build agda-core

Add a global signature for definitions #65

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push January 19, 2024 15:49

jespercockx

main

Status Success

Total duration 2m 8s

Artifacts –

agda-core-build.yml

on: push