Vadim Zeitlin 4e26568f97 Replace macOS 10.15 runners with macOS 11 ones ... 10.15 is being phased out by GitHub, so switch to the still supported runner platform version. Closes #22698.		2022-08-04 02:32:18 +02:00
..
ISSUE_TEMPLATE	Make the issue template even more prescriptive	2022-06-10 18:14:35 +02:00
workflows	Replace macOS 10.15 runners with macOS 11 ones	2022-08-04 02:32:18 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00