CI

Merge pull request #6064 from johnhaddon/patternMatch #454

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (linux-gcc11)	59m 20s
build (linux-debug-gcc11)	1h 0m 31s
build (windows)	58m 38s
	2h 58m 29s