chore(main): release convergio 0.3.40 #845
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Post-release-please polish | |
| # Refresh derived files (Cargo.lock, docs/INDEX.md) on release-please | |
| # PRs so the CI gates pass without manual intervention. Inlined from | |
| # the former cross-repo reusable workflow at | |
| # Roberdan/convergio/.github/workflows/reusable-lockfile-update.yml. | |
| # Detached intentionally so convergio is autonomous on its CI | |
| # primitives. | |
| on: | |
| pull_request: | |
| branches: [main] | |
| paths: | |
| - "Cargo.toml" | |
| - "**/Cargo.toml" | |
| workflow_dispatch: | |
| inputs: | |
| branch: | |
| description: "Branch to sync (defaults to current PR head)." | |
| required: false | |
| permissions: | |
| contents: write | |
| jobs: | |
| polish: | |
| name: Sync Cargo.lock + docs/INDEX.md | |
| # Only run on release-please-generated PRs so we do not push back | |
| # to feature branches the human is editing. | |
| if: github.event_name == 'workflow_dispatch' || startsWith(github.head_ref, 'release-please-') | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.inputs.branch || github.head_ref }} | |
| # PAT (with repo+workflow scope) lets the push trigger the | |
| # PR's required status checks. GITHUB_TOKEN cannot push back | |
| # to a PR branch when "Allow GitHub Actions to create and | |
| # approve pull requests" is off. | |
| token: ${{ secrets.PAT }} | |
| - uses: dtolnay/rust-toolchain@stable | |
| - name: Update Cargo.lock | |
| run: cargo update --workspace | |
| - name: Regenerate docs/INDEX.md | |
| # release-please rebases its branch onto main on every release | |
| # event and drops any non-managed files. INDEX.md must be | |
| # regenerated so the CI `docs INDEX is current` step passes. | |
| run: ./scripts/generate-docs-index.sh | |
| - name: Commit any changes | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| changed=0 | |
| if ! git diff --quiet Cargo.lock; then | |
| git add Cargo.lock | |
| changed=1 | |
| fi | |
| if ! git diff --quiet docs/INDEX.md; then | |
| git add docs/INDEX.md | |
| changed=1 | |
| fi | |
| if [ "$changed" -eq 1 ]; then | |
| git commit -m "chore: refresh derived files after version bump" | |
| git push | |
| fi |