github action build & CI

migrate from osx-11 to osx-12 #1083

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cpplint	21s
gapc_osx (macos-12)	4m 45s
gapc_ubuntu (ubuntu-20.04)	15m 53s
gapc_ubuntu (ubuntu-22.04)	15m 54s
fold-grammars (default)	15m 55s
fold-grammars (shapes)	7m 53s
fold-grammars (pkiss)	6m 0s
fold-grammars (alishapes)	10m 23s
fold-grammars (palikiss)	15m 38s
fold-grammars (knotinframe)	2m 36s
	1h 35m 18s