Changes

#2718 (Jan 21, 2025, 1:04:07 PM)

1. coverity: use proper asn1c branch — Oliver Smith / detail

#2715 (Jan 21, 2025, 7:54:08 AM)

1. ansible/setup-jenkins-slave: add mingw job deps — Oliver Smith / detail

#2714 (Jan 20, 2025, 1:29:08 PM)

1. scripts/docker-cleanup: add "docker system prune" — Oliver Smith / detail

#2713 (Jan 20, 2025, 1:14:08 PM)

1. jobs: manually trigger "git gc" for linux.git — Oliver Smith / detail

#2711 (Jan 20, 2025, 10:54:05 AM)

1. jobs/{master,gerrit}: set ulimit filesize to 1 GiB — Oliver Smith / detail