Closed amontoison closed 6 months ago
@jfowkes It should fix our issue. The name of the archives generated by generate_binaries.jl always contain the GitHub tag now.
generate_binaries.jl
@jfowkes It should fix our issue. The name of the archives generated by
generate_binaries.jl
always contain the GitHub tag now.