Skip to content
Build

agda-stdlib (not 2.0); ring solver sanity check #14

Sign in to view logs

agda-stdlib (not 2.0); ring solver sanity check

agda-stdlib (not 2.0); ring solver sanity check #14

Triggered via push February 12, 2024 03:58
@conalconal
pushed dc45407
main
Status Success
Total duration 11m 26s
Artifacts –

build.yml

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