old-ci

Improvements to the ifs-mars interface and removed many typeOfLevel f… #331

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
old-ci (Release, linux gnu-10)	2m 21s
old-ci (Release, linux gnu-12)	2m 37s
old-ci (Release, linux clang-14)	2m 9s
	7m 7s