eldritch horrors 156e6e3dea remove skipped-builds builder ... run all of them on the normal build worker. this significantly simplifies the overall scheduler/builder config and removes a triplication of possible builds paths.		2024-03-11 06:27:32 +01:00
..
__init__.py	remove skipped-builds builder	2024-03-11 06:27:32 +01:00
github_projects.py	only refresh github projects in timer and sort them	2024-01-08 11:45:01 +00:00
worker.py	typecheck twisted	2024-01-01 15:38:28 +00:00