chore(deps): update teatimeguest/setup-texlive-action action to v3.1.0

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
teatimeguest/setup-texlive-action	action	minor	v3.0.2 -> v3.1.0

---

Release Notes

teatimeguest/setup-texlive-action (teatimeguest/setup-texlive-action)

v3.1.0

Compare Source

Full Commit SHA

e2b174ebf2032365bd934b21ca30dca96f0121b7

Features

• 1214c8b add new input repository (#​283)

Bug Fixes

• 81b1c3b fix broken log messages on errors
• bc94138 use universal-darwin on apple silicon

Dependency Updates

• 5ab2f50 bump scule from 1.2.0 to 1.3.0 (#​280)
• 6bfc925 bump temporal-polyfill from 0.2.0 to 0.2.1 (#​282)
• 3b0fb3a bump semver from 7.5.4 to 7.6.0 (#​281)
• d415d60 bump ts-pattern from 5.0.6 to 5.0.8 (#​284)
• 404dda2 bump undici from 5.28.2 to 5.28.3 (#​285)
• c884e7b bump ts-mixer from 6.0.3 to 6.0.4 (#​286)
• d3dfbc2 bump temporal-polyfill from 0.2.1 to 0.2.2 (#​287)
• 04c4eb4 bump temporal-polyfill from 0.2.2 to 0.2.3 (#​288)
• 1555e07 bump @​actions/http-client from 2.2.0 to 2.2.1 (#​290)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.

---

PR-Codex overview

This PR updates the setup-texlive-action to version 3.1.0 in multiple workflows for updating LaTeX packages.

Detailed summary

• Updated setup-texlive-action to v3.1.0 in .github/workflows/sonar.yml, .github/workflows/daily.yml, .github/workflows/codecov.yml, and .github/workflows/ebnf.yml
• Added update-all-packages: true and specified LaTeX packages: scheme-basic, geometry, xcolor, naive-ebnf, microtype, etoolbox

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[yegor256]

@rultor please, try to merge, since 16 checks have passed

[rultor]

@rultor please, try to merge, since 16 checks have passed

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor please, try to merge, since 16 checks have passed

@yegor256 Done! FYI, the full log is here (took me 21min)