Skip to content
Agda

Machine-readable governance scaffold + in-tree wiki (was 6a2-only skeleton) #674

Sign in to view logs

Machine-readable governance scaffold + in-tree wiki (was 6a2-only skeleton)

Machine-readable governance scaffold + in-tree wiki (was 6a2-only skeleton) #674

Triggered via pull request June 13, 2026 12:53
@hyperpolymathhyperpolymath
synchronize #195
claude/sleepy-carson-bREoV
Status Success
Total duration 11m 26s
Artifacts –

agda.yml

on: pull_request
check
1m 53s
check
cold-check
11m 21s
cold-check
Fit to window
Zoom out
Zoom in