Skip to content
Agda

docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating) #665

Sign in to view logs

docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating)

docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating) #665

Triggered via pull request June 12, 2026 16:40
@hyperpolymathhyperpolymath
synchronize #187
claude/confident-shannon-xf0Td
Status Success
Total duration 12m 21s
Artifacts –

agda.yml

on: pull_request
check
1m 59s
check
cold-check
12m 2s
cold-check
Fit to window
Zoom out
Zoom in