Skip to content
Build

Known to work with Agda 2.6.3 and agda-stdlib commit 93f5c0f81 (Augus… #15

Sign in to view logs

Known to work with Agda 2.6.3 and agda-stdlib commit 93f5c0f81 (Augus…

Known to work with Agda 2.6.3 and agda-stdlib commit 93f5c0f81 (Augus… #15

Triggered via push February 12, 2024 04:01
@conalconal
pushed 18bcf60
main
Status Success
Total duration 11m 23s
Artifacts –

build.yml

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