Ubuntu build

Rename problem_mps to problem_filename in ProblemData and related cla… #3061

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-20.04)	19m 54s
userguide	0s
test_assets	1m 8s
test_single_file_asset	1m 20s
release	0s
	22m 22s