Skip to content

fix(ci): send User-Agent in crates.io poll; make publish re-runnable#38

Merged
cuihtlauac merged 1 commit into
mainfrom
fix/publish-workflow-ua
Jun 19, 2026
Merged

fix(ci): send User-Agent in crates.io poll; make publish re-runnable#38
cuihtlauac merged 1 commit into
mainfrom
fix/publish-workflow-ua

fix(ci): send User-Agent in crates.io poll; make publish re-runnable

8a31d07
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
proverif (Rung 4 SSH channel, informational)
succeeded Jun 19, 2026 in 1m 58s