Build & Test

Add `make opam-deps-opt` to INSTALL.md #104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build & Test (ubuntu-latest, 4.14.1)	17m 49s
Build & Test (ubuntu-latest, 5.1.0)	18m 5s
Build & Test (macos-13, 4.14.1)	24m 43s
Build & Test (macos-13, 5.1.0)	26m 38s
Build & Test (macos-14, 4.14.1)	18m 7s
Build & Test (macos-14, 5.1.0)	19m 0s
	2h 4m 22s