Build & Test

Added "harmony-lemma-formalization" as a new case study #293

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build & Test (4.14.x, ubuntu-latest)	5m 2s
Linting (4.14.x, ubuntu-latest)	4m 37s
Build & Test (4.14.x, macOS-latest)	6m 2s
	15m 41s