Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The GH action we use to daily check our website for issues did no longer work as its implementation is incompatible to the latest Ubuntu (24.04) default settings. Pins the Ubuntu version to 22.04 to fix the issue for now.
- Loading branch information