Skip to content

build(deps): bump the actions group across 1 directory with 5 updates - #5

Merged
hyperpolymath merged 1 commit into
mainfrom
dependabot/github_actions/actions-f87387f4da
Oct 14, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
dependabot/github_actions/actions-f87387f4da

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Oct 14, 2026

Copy link
Copy Markdown
Contributor

Bumps the actions group with 5 updates in the / directory:

Package From To
haskell-actions/setup 2.12.0 2.12.1
hyperpolymath/smtp-notify-action 0.3.0 0.5.0
actions/upload-artifact 7.0.1 7.0.2
SonarSource/sonarqube-scan-action 8.2.2 8.3.0
actions/download-artifact 8.0.1 8.0.2

Updates haskell-actions/setup from 2.12.0 to 2.12.1

Release notes

Sourced from haskell-actions/setup's releases.

v2.12.1

Add Cabal 3.18.1.0 and Stack 3.11.1

What's Changed

Full Changelog: haskell-actions/setup@v2.12.0...v2.12.1

Commits

Updates hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0

Release notes

Sourced from hyperpolymath/smtp-notify-action's releases.

v0.5.0

Newsgroup posting, on the same binary

protocol: nntp with newsgroups posts one article over implicit TLS (NNTPS, 563) or STARTTLS on the news port (RFC 4642, 119), authenticating with AUTHINFO USER/PASS. Transport selection is fail-closed and unchanged in shape from the SMTP path: a server that does not advertise the upgrade is refused before any credential is written.

Refusals name their own reason, including the two 4xx codes that are not retries — 440 at POST and 441 at the article, where a class-only rule would have advised a retry and duplicated the post. Malformed newsgroups and CR/LF in a header-bound value are refused before the socket is opened. The body is dot-stuffed on the wire and a Message-ID is generated per run.

The NNTP session is a second proven contract — spec/Nntp/ (6 rows implicit, 8 with STARTTLS, plus the Newsgroups grammar and newsgroupsNoInjection) — emitted into the same src/generated/smtp_fsm.zig, so the existing drift gate covers it. The SMTP section of that file is unchanged.

The Marketplace listing can finally be published

The publish form refuses a description of 125 characters or more (measured on the parsed value, so a folded scalar does not hide it) and reads action.yml from the release tag — which is why this ships as a tag rather than a commit on main. The description is now 110 characters with STARTTLS and 365 in it; the full text lives in the README, which the listing page renders. scripts/check-action.sh and the action-metadata job keep the limit from regressing, with a selftest proving 125 is refused and 124 accepted.

server_port now defaults to empty, meaning the port the protocol and transport imply: SMTP 465/587/25, NNTP 563/119.

Provenance

CI rebuilt both static musl binaries from this tag and verified they hash to exactly the SHA-256 pins inside this tag's action.yml before publishing. SHA256SUMS is attached:

2683da8f619dd5f310c9f6884da39e825c807c2c86a6319c19aba39b27f9c5c9  smtp-notify-x86_64-linux-musl
a58138308fb9832e1ceb551a12f1b04e591dc38ba5fd336c9acfb3f263161f29  smtp-notify-aarch64-linux-musl

See CHANGELOG.adoc for the full entry, and KNOWN-DEFECTS.adoc for what is not proven — notably D-015: no real news server has ever seen this code; the end-to-end evidence is a containerised fixture.

v0.4.0

Static, byte-reproducible smtp-notify binaries. CI rebuilt them from this tag and verified they hash to exactly the SHA-256 pins inside this tag's action.yml before publishing.

Changelog

Sourced from hyperpolymath/smtp-notify-action's changelog.

== v0.5.0 — 2026-10-04

Newsgroup posting, and the release that can finally be listed on the GitHub Marketplace. The two are one release because the description fix can only take effect from a tag — the Marketplace validates action.yml at the release's tag, not on main — and a tag is what this release is for.

NOTE: The tag must be pushed immediately after this merge. Between the two, the tagged commit's action.yml names v0.5.0 assets that do not exist yet, and @main inherits that window; the release workflow refuses to publish unless the asset URL equals the tag, so the window is a property of the release process rather than of this tree. If the tag lands on a later day, correct this heading with a follow-up commit, as was done for v0.4.0.

=== Added

  • protocol input (smtp | nntp, default smtp), chosen explicitly and never inferred. newsgroups set while protocol is smtp fails the step naming the mismatch, and protocol: nntp without newsgroups fails too, rather than either combination being guessed at.
  • NNTP posting — one article per run. Implicit TLS (NNTPS, normally 563) or STARTTLS on the cleartext news port (RFC 4642, normally 119), with AUTHINFO USER/PASS (RFC 4643). The article carries From, Newsgroups, Subject (RFC 2047 for non-ASCII), Date, a generated Message-ID, optional Content-Language, MIME-Version, Content-Type and Content-Transfer-Encoding; the body is dot-stuffed on the wire. The STARTTLS path re-reads CAPABILITIES after the upgrade, as RFC 4642 §2.2 requires, and a server that does not advertise the upgrade is refused rather than posted to in the clear.
  • A second proven contract. spec/Nntp/StateMachine.idr and spec/Nntp/Serialize.idr hold the NNTP session tables (6 rows implicit, 8 with STARTTLS) and the Newsgroups grammar, with the same style of properties as the SMTP spec: deterministic coverage, termination, ordering, and that the upgrade is on the walked path — plus newsgroupsNoInjection, the analogue of the Content-Language theorem. Both emit into the same src/generated/smtp_fsm.zig, so the existing drift gate covers them; the SMTP section of that file is unchanged.
  • Failure attribution for the news session. A 201 greeting and a 440 reply are reported as "this server will not accept posts", 441 as the article itself being refused (both at POST and after the article, where a class-only rule would have advised a retry and duplicated the post), and a server advertising AUTHINFO SASL alone is refused before a credential is written. Malformed newsgroups, CR/LF in a header-bound input, an invalid Content-Language and empty credentials are refused before the socket is opened, so a typo does not read as a connection failure.
  • scripts/nntp-sink.py and an e2e-nntp CI job. A one-shot NNTP server fixture, the news counterpart of the Mailpit container: the job posts an article and asserts the dialogue order, the canonicalised newsgroup list, the encoded-word subject, the generated Message-ID shape and the dot-stuffed line on the wire — then asserts that each refusal names its own reason and

... (truncated)

Commits
  • c1c9fa0 feat(nntp): NNTP posting + unblock the Marketplace listing (needs tag v0.5.0)...
  • 7ea6d7a docs(changelog): date v0.4.0 at its actual tag push (#26)
  • 170f53a ci(secret-scan): canonical estate scanner caller, key scan (D243) (#25)
  • 9f3f89f docs: add Signed commits section to CONTRIBUTING (#24)
  • acd2d3d fix: address CodeRabbit review of #21 — CertificateRequest shape checks, benc...
  • c9b6790 fix: CodeRabbit auto-fixes for PR #21 (#22)
  • 10f080a fix/issue 6 hardening (#21)
  • 5574cdc Resolve community health, accessibility, diagnostics, and benchmark debt
  • 106e28f fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) (#19)
  • 2c98910 fix(ci): pin third-party actions to full commit SHAs (#18)
  • Additional commits viewable in compare view

Updates actions/upload-artifact from 7.0.1 to 7.0.2

Release notes

Sourced from actions/upload-artifact's releases.

v7.0.2

What's Changed

  • Improves artifact download retries when the service returns HTTP 429 (rate limiting), including honoring valid Retry-After headers.
  • Updates @​actions/artifact to v6.3.1.

New Contributors

Full Changelog: actions/upload-artifact@v7.0.1...v7.0.2

Commits
  • cf430e0 Merge pull request #822 from actions/tunc-d-prepare-upload-v7-0-2
  • c2acded chore: prepare v7.0.2 release
  • 4687c1b Merge pull request #821 from actions/tunc-d-upload-artifact-package-bump
  • 8cbe1be Bump @​actions/artifact to 6.3.1
  • See full diff in compare view

Updates SonarSource/sonarqube-scan-action from 8.2.2 to 8.3.0

Release notes

Sourced from SonarSource/sonarqube-scan-action's releases.

v8.3.0

What's Changed

New Contributors

Full Changelog: SonarSource/sonarqube-scan-action@v8.2.2...v8.3.0

Commits

Updates actions/download-artifact from 8.0.1 to 8.0.2

Release notes

Sourced from actions/download-artifact's releases.

v8.0.2

What's Changed

New Contributors

Full Changelog: actions/download-artifact@v8.0.1...v8.0.2

Commits
  • 9000827 Merge pull request #493 from actions/tunc-d-prepare-download-v8-0-2
  • e455989 Prepare download-artifact v8.0.2
  • a00b90c Merge pull request #492 from actions/tunc-d-download-artifact-package-bump
  • 29bb7ce Update @​actions/artifact to 6.3.1
  • 484a0b5 Update the readme (#473)
  • See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
  • @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
  • @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
  • @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
  • @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

Bumps the actions group with 5 updates in the / directory:

| Package | From | To |
| --- | --- | --- |
| [haskell-actions/setup](https://github.com/haskell-actions/setup) | `2.12.0` | `2.12.1` |
| [hyperpolymath/smtp-notify-action](https://github.com/hyperpolymath/smtp-notify-action) | `0.3.0` | `0.5.0` |
| [actions/upload-artifact](https://github.com/actions/upload-artifact) | `7.0.1` | `7.0.2` |
| [SonarSource/sonarqube-scan-action](https://github.com/sonarsource/sonarqube-scan-action) | `8.2.2` | `8.3.0` |
| [actions/download-artifact](https://github.com/actions/download-artifact) | `8.0.1` | `8.0.2` |



Updates `haskell-actions/setup` from 2.12.0 to 2.12.1
- [Release notes](https://github.com/haskell-actions/setup/releases)
- [Commits](haskell-actions/setup@v2.12.0...v2.12.1)

Updates `hyperpolymath/smtp-notify-action` from 0.3.0 to 0.5.0
- [Release notes](https://github.com/hyperpolymath/smtp-notify-action/releases)
- [Changelog](https://github.com/hyperpolymath/smtp-notify-action/blob/main/CHANGELOG.adoc)
- [Commits](hyperpolymath/smtp-notify-action@v0.3.0...v0.5.0)

Updates `actions/upload-artifact` from 7.0.1 to 7.0.2
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](actions/upload-artifact@v7.0.1...v7.0.2)

Updates `SonarSource/sonarqube-scan-action` from 8.2.2 to 8.3.0
- [Release notes](https://github.com/sonarsource/sonarqube-scan-action/releases)
- [Commits](SonarSource/sonarqube-scan-action@v8.2.2...v8.3.0)

Updates `actions/download-artifact` from 8.0.1 to 8.0.2
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](actions/download-artifact@v8.0.1...v8.0.2)

---
updated-dependencies:
- dependency-name: haskell-actions/setup
  dependency-version: 2.12.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: actions
- dependency-name: hyperpolymath/smtp-notify-action
  dependency-version: 0.5.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions
- dependency-name: actions/upload-artifact
  dependency-version: 7.0.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: actions
- dependency-name: SonarSource/sonarqube-scan-action
  dependency-version: 8.3.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions
- dependency-name: actions/download-artifact
  dependency-version: 8.0.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: actions
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot
dependabot Bot requested a review from hyperpolymath as a code owner October 14, 2026 10:20
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file github_actions labels Oct 14, 2026
@coderabbitai

coderabbitai Bot commented Oct 14, 2026

Copy link
Copy Markdown
Contributor

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration
  • Configuration used: Repository: hyperpolymath/resource-algebra/.coderabbit.yaml
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: 422aabe0-b9f3-4a43-82bb-6eb688402193

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@sonarqubecloud

Copy link
Copy Markdown

@hyperpolymath
hyperpolymath merged commit 0b338c9 into main Oct 14, 2026
59 of 63 checks passed
@hyperpolymath
hyperpolymath deleted the dependabot/github_actions/actions-f87387f4da branch October 14, 2026 10:55
hyperpolymath pushed a commit that referenced this pull request Oct 14, 2026
#4 merged with five more commits that overlap this branch, and #5 bumped
actions. Resolved in favour of the owner-merged content, keeping what
main does not yet carry (the mint itself: 87 placeholder files, the
template-only paths, provenance):

- check-agda.sh: both hardenings. main's `-- EXPECT:` message check and
  unit-test run, and this branch's rule that the first error must land
  inside `invalid`. All 8 fixtures, including main's three new ones, pass
  both on Agda 2.6.3; the unit tests pass.
- Deed: clade fv (the owner's answer) and this branch's provenance,
  variant and rsr-profile; main's phase `active`, ecosystem
  (library, kernel, chain), anchor kind/domain and unique strength.
  `:coordination standards` restored (main's ecosystem dropped it).
- PROOF-STATUS, CITATION message, CODEOWNERS comment, allowlist lines:
  main's. The duplicate .agda-lib allowlist entry is dropped.
- ROADMAP: the minted stub. main's file was still the template's own
  journal ("A repo minted from the template does not inherit it").
- actions.lock: main's upload-artifact v7.0.2 plus the cf430e0 record
  the standards@ae36881 record needs.
- CLAUDE.md and the repository map regenerated from the merged tree.
  main removed #4's hand-appended "Asking the owner" section (6c61289);
  the rule stays only in the generated estate-common block, per the
  owner's ruling that it is estate doctrine.

Verified on the merged tree: Estate Rules 18/18 steps, all 26 Central
Estate Audit gates (cicd-suite 0da816c), the placeholder gate, both
lock-sync gates, the arrival-pack check, and scripts/check-agda.sh.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LiQzWJdcPfRU6YMDGRG8Xi
hyperpolymath pushed a commit that referenced this pull request Oct 14, 2026
…v0.0.3

At ae36881 the Actions lockfile verify job installs gh-actions-lock v0.1.6,
which cannot read this lockfile: "lockfile version v0.0.3 is newer than
this binary supports (v0.0.2)" (exit 2). Dependabot (#5) regenerates
actions.lock as format v0.0.3. Standards main since #1249 pins v0.2.0 and
keeps sha-as-ref advisory, so the pins move to 934b879 (standards main,
2026-10-14).

Done with standards' propagate-workflow-pins.sh as patched in
hyperpolymath/standards#1254, which now relocks actions.lock itself
(RELOCKED): the six entries re-keyed, the standards record rebuilt for
934b879, and the two records its reusables newly need
(denoland/setup-deno@22d081f v2.0.5, oven-sh/setup-bun@0c5077e v2.2.0)
copied from standards' own lock. Both scripts/check-lock-sync.sh and
standards main's copy pass.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LiQzWJdcPfRU6YMDGRG8Xi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant