You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add git-cliff release notes generation so GitHub releases credit PR
authors and contributors, then wire the generated body into the release
workflow.
Bump the workspace to 0.6.0 and fix connection-manager release
blockers around URL paste options, Mongo timeout persistence, and
imported manual order values.
continue-on-error: true # May already be published
127
139
128
-
- name: Wait for crates.io
129
-
run: sleep 30
140
+
- name: Wait for crates.io index
141
+
run: |
142
+
VERSION=$(cargo metadata --no-deps --format-version 1 | python3 -c 'import json, sys; print(next(p["version"] for p in json.load(sys.stdin)["packages"] if p["name"] == "tui-syntax"))')
143
+
for _ in {1..20}; do
144
+
if cargo search tui-syntax --limit 1 | grep -q "tui-syntax = \"$VERSION\""; then
145
+
exit 0
146
+
fi
147
+
sleep 15
148
+
done
149
+
echo "tui-syntax $VERSION did not appear in the crates.io index in time" >&2
0 commit comments