Build #284 (May 23, 2024, 4:39:16 PM)

	Changes fix #681 (details / githubweb)
	Push event to branch dev at 4:39:01 PM on May 23, 2024
	This run spent: 8.4 sec waiting; 9 min 20 sec build duration; 9 min 28 sec total from scheduled to completion.
	Revision: f0be14ad68becc3cdf3b6bf4e505533fc2b8cd3d Repository: https://github.com/pharo-project/pharo-launcher.git dev
	Revision: 8bf484fda49eee2c83b83938520a142b81e10a9d Repository: https://github.com/pharo-project/pharo-build-scripts.git refs/remotes/origin/master