Skip to content
Agda

echo-types: close both transport-echo gaps + extract VecRotation infra #286

Sign in to view logs

echo-types: close both transport-echo gaps + extract VecRotation infra

echo-types: close both transport-echo gaps + extract VecRotation infra #286

Triggered via push May 16, 2026 15:32
@hyperpolymathhyperpolymath
pushed b7f47d2
main
Status Success
Total duration 3m 17s
Artifacts –

agda.yml

on: push
check
3m 6s
check
Fit to window
Zoom out
Zoom in