Use W3CTraceContext library 📦 #231

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Unit Test (5.9)	3m 1s
Compile Counter Example	2m 27s
Unit Test (latest)	2m 59s
Soundness Check	2m 13s
	10m 40s