• Due to the planned discontinuation of SemaphoreCI Classic starting in early September 2023, we have moved to GitHub Actions for our CI needs (see #2569 for more details).