Changes

#1489 (Jan 22, 2025, 6:38:00 AM)

1. ansible/setup-jenkins-slave: add mingw job deps — Oliver Smith / detail
2. coverity: use proper asn1c branch — Oliver Smith / detail

#1488 (Jan 21, 2025, 6:38:00 AM)

1. jobs/{master,gerrit}: set ulimit filesize to 1 GiB — Oliver Smith / detail
2. jobs: manually trigger "git gc" for linux.git — Oliver Smith / detail
3. scripts/docker-cleanup: add "docker system prune" — Oliver Smith / detail