Build & Test

CI: check library proofs #228

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build & Test (ubuntu-latest, 4.14.1)	6m 50s
Build & Test (macos-latest, 4.14.1)	6m 51s
Build & Test (macos-latest, 5.1.0)	6m 54s
Build & Test (ubuntu-latest, 5.1.0)	6m 50s
	27m 25s