Skip to content
Build agda-core

small cleanup #1

Sign in to view logs

small cleanup

small cleanup #1

Triggered via push January 16, 2024 10:41
@liesnikovliesnikov
pushed 5ed6eb3
main
Status Success
Total duration 1m 41s
Artifacts –

agda-core-build.yml

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