Cross-Platform Build & Test

feat: comprehensive improvements — Idris2 proofs, fuzz testing, CI, docs #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS	2s
Linux	3s
Windows	3s
	8s