Build #716 (Jul 18, 2023, 11:57:17 AM)

	Changes Update the docker images used for testing PRs to 1.16 (#1217) (details / githubweb)
	Push event to branch master at 11:57:02 AM on Jul 18, 2023
	Revision: 12c799db2dda996985b39b079081be4386a1d8d7 Repository: https://github.com/OpenModelica/OMSimulator.git master
	Test Result (no failures)