CI: reduce cron time to every 4 hours

The high poll rate was mostly there to avoid pauses if there are many things to build.

Since jobs now get queued we can poll at the rate at which the jobs hit their
soft limit and stop beginning new builds. If there are more builds left then
the next queued workflow will start right away now.

.github/workflows/build.yml

@@ -3,7 +3,7 @@ name: 'build'
 on:
   workflow_dispatch:
   schedule:
-    - cron: '0 0/2 * * *'
+    - cron: '0 0/4 * * *'
 
 concurrency: nope
 

autobuild.py

@@ -132,7 +132,7 @@ class Package(dict):
 
 
 # After which we shouldn't start a new build
-SOFT_TIMEOUT = 60 * 60 * 3
+SOFT_TIMEOUT = 60 * 60 * 4
 
 # Packages that take too long to build, and should be handled manually
 MANUAL_BUILD: List[str] = [