CI

Merge pull request #2349 from CvX/fix-glim-deco #3699

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
self-lint	56s
build (ubuntu, 22.x)	54s
build (windows, 18.x)	1m 47s
build (windows, 22.x)	2m 3s
build (ubuntu, 20.x)	1m 2s
build (ubuntu, 18.x)	54s
build (windows, 20.x)	1m 43s
	9m 19s