Merge pull request #94 from BrieucNicolas/master #151

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Type=Debug shared=OFF	51s
Type=Debug shared=ON	1m 22s
Type=Release shared=ON	3m 48s
	6m 1s