better-sunset-63499
02/17/2022, 3:51 PMdownload_file(name:str, description:Optional[str], url:str, expected_digest:str, expected_size:Optional[str], path:str)
That will then materialize the file to be used afterwards in any file(s)
or resource(s)
targets after the fact. Overloading file
and resource
with optional URL/digest/etc options feels more confusing than helpfulenough-analyst-54434
02/17/2022, 4:16 PMbetter-sunset-63499
02/17/2022, 4:18 PMcurved-television-6568
02/17/2022, 4:29 PMI’m not sure whether or not this can be done yet. There is active work surrounding target generationI don’t think there is need for target generation here. Only support for
file
and resource
targets to be able to consume the generated sources of download_file
.enough-analyst-54434
02/17/2022, 4:32 PM