Eric Engestrom 39d68d12f3 ci: do a regular GET request for /done files, instead of HEAD ...

The s3 proxy bug that required this commit was fixed [1], but since
these /done files are empty, there's no benefit to using HEAD requests.

[1]: https://gitlab.freedesktop.org/freedesktop/helm-gitlab-deployment/-/commit/5acad8b02cd4cd84cc94c76bcc403629c2ce8f98

Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/34120>

2025-03-24 20:45:52 +00:00

..

fluster-runner.sh

ci: do a regular GET request for /done files, instead of HEAD

2025-03-24 20:45:52 +00:00