v1.1.0 — Network resilience + CI tips

Changes

• Retry logic: 3 automatic retries with 30s timeout on network failures/5xx errors. 4xx client errors fail immediately (no retry on auth errors).
• CI quota tip: README now documents how to stay within free tier limits using on: release or tag filters.
• Tags-only example: New workflow example showing how to run proofs only on tagged commits.

Upgrade

No breaking changes. @v1 is automatically updated.