Changes

#959 (Jan 22, 2025, 6:58:00 AM)

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

#958 (Jan 21, 2025, 6:58: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