Agda

Wf 1 core wellfounded #85

Sign in to view logs

Triggered via pull request April 22, 2026 22:22

synchronize #16

wf-1-core-wellfounded

Status Success

Total duration 2m 37s

Artifacts –

agda.yml

on: pull_request