Skip to content
ABI Contract

License → AGPL-3.0 tri-license + version single-source-of-truth (0.9.0) #25

Sign in to view logs

License → AGPL-3.0 tri-license + version single-source-of-truth (0.9.0)

License → AGPL-3.0 tri-license + version single-source-of-truth (0.9.0) #25

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Idris2 model type-checks
56s
Zig ↔ Idris tables in sync
1m 9s
2m 5s