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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 59s
cold-check
12m 2s
14m 1s