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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 21s
check
1m 53s
13m 14s