Files
Benjamin Satzger 2464bac660 Introduce utility function to download a file
`curl_file` downloads a file from a `url` and writes it to a `path` on
the local file system. It returns the SHA-256 digest of the downloaded
file.
2024-06-13 17:11:42 +02:00
..