ci: automated update to rustc 1.80.1

[github-actions]

Automated update to Github CI workflow cont_integration.yml by create-pull-request GitHub action

[notmandatory]

for some reason the actions aren't running 🤔

[oleonardolima]

for some reason the actions aren't running 🤔

https://github.com/peter-evans/create-pull-request?tab=readme-ov-file#action-inputs 😞

Note: If you want pull requests created by this action to trigger an on: push or on: pull_request workflow then you cannot use the default GITHUB_TOKEN. See the documentation here for workarounds.

[storopoli]

Yeah that's why rust-bitcoin uses a token from apoelstra in their cron CI job to update stable rust version.

      - name: Create Pull Request
        if: env.changes_made == 'true'
        uses: peter-evans/create-pull-request@v6
        with:
          token: ${{ secrets.APOELSTRA_CREATE_PR_TOKEN }}
          author: Update Stable Rustc Bot <bot@example.com>
          committer: Update Stable Rustc Bot <bot@example.com>
          title: Automated weekly update to rustc stable (to ${{ env.stable_version }})
          body: |
           Automated update to Github CI workflow `semver-checks.yml` by [create-pull-request](https://github.com/peter-evans/create-pull-request) GitHub action
          commit-message: Automated update to Github CI to rustc stable-${{ env.stable_version }}
          branch: create-pull-request/weekly-stable-update

[notmandatory]

Attempted actions permission fix here: #1580

[notmandatory]

ACK b3f0541

DONT MERGE. I'm just checking to see if this is approved it is merge-able.

[notmandatory]

Oh drat, the commits also need to be signed. I'll see if I can fix it in #1580.

[notmandatory]

Looks like it leaves the original PR open (and force pushed new commit) when I re-ran the workflow with my changes from #1580. At least now the workflow ran and commit is verified signed.

[ValuedMammal]

ACK bb02ed6 Still confused why it needs to run ci twice though.

[notmandatory]

I'm closing this PR and deleting the branch so we can let cron run it on the 15th and generate a PR without me triggering it.