Build #5257 (May 6, 2024, 12:12:36 PM)

	Changes Properly handle the parameters for parametric plot (#12378) (details / githubweb) Changes Updated Linux versions in the JSON (details / githubweb)
	Push event to branch master at 12:12:22 PM on May 6, 2024
	Revision: 77391467f497f3d7ff14ee2fc7dc7b9005768322 Repository: https://github.com/OpenModelica/OpenModelica.git master
	Test Result (no failures)
	Revision: 9cf64ce41c526bb3bad71c07f59bf95b2671bd29 Repository: git@github.com:OpenModelica/www.openmodelica.org.git refs/remotes/origin/main