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