#6245 (Oct 3, 2025, 12:33:18 PM)

Started 10 days ago

Took 5 min 1 sec

	Push event to branch master at 12:33:04 PM on Oct 3, 2025
	Revision: 02e6205a8ed647674c778b30041361e6c4fb52cc Repository: https://github.com/OpenModelica/OpenModelica.git master
	Superseded by OpenModelica/master#6246

Changes