Fabio Niephaus c60701d448 Upgrade to macos-12. ... `macos-11` was removed in June 2024: https://github.blog/changelog/2024-05-20-actions-upcoming-changes-to-github-hosted-macos-runners/		2024-08-12 11:44:53 +02:00
..
workflows	Upgrade to macos-12.	2024-08-12 11:44:53 +02:00