CN LSP CI

Merge pull request #174 from GaloisInc/sc/release-instructions #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (21.7.3, 5.1.1, ubuntu-22.04)	6m 9s
build (21.7.3, 5.1.1, ubuntu-24.04)	5m 31s
build (21.7.3, 5.1.1, macos-latest)	7m 20s
	19m 0s