ABI Contract

chore(coherence): wire nexus-setup panel, fill metadata TODOs, fix ve… #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Zig ↔ Idris tables in sync	35s
Idris2 model type-checks	1m 4s
	1m 39s