Skip to content
Agda

Merge branch 'main' into wf-1-core-wellfounded #84

Sign in to view logs

Merge branch 'main' into wf-1-core-wellfounded

Merge branch 'main' into wf-1-core-wellfounded #84

Triggered via push April 22, 2026 22:22
@hyperpolymathhyperpolymath
pushed e237bff
wf-1-core-wellfounded
Status Success
Total duration 2m 29s
Artifacts –

agda.yml

on: push
check
1m 57s
check
Fit to window
Zoom out
Zoom in