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]: 5acad8b02c

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

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

2.0 KiB

Raw Permalink Blame History

View Raw