chore: pr-release: pass `--retry` to `curl` · leanprover/lean4@c9638f6

Triggered via pull request August 13, 2024 15:53

nomeata

opened #5025

Status Success

Total duration 14m 59s

Artifacts 1

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	257 MB