chore(deps): bump the actions group with 3 updates (#89)

Bumps the actions group with 3 updates:
[github/codeql-action](https://github.com/github/codeql-action),
[hyperpolymath/smtp-notify-action](https://github.com/hyperpolymath/smtp-notify-action)
and [actions/setup-java](https://github.com/actions/setup-java).

Updates `github/codeql-action` from 4.37.9 to 4.38.0
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/github/codeql-action/releases">github/codeql-action's
releases</a>.</em></p>
<blockquote>
<h2>v4.38.0</h2>
<ul>
<li>On GitHub-hosted runners, the CodeQL Action now deletes unused
CodeQL bundles from the toolcache before downloading a different bundle,
which frees up disk space for the analysis. We expect to roll this
change out to everyone in September. <a
href="https://redirect.github.com/github/codeql-action/pull/4124">#4124</a></li>
<li>The CodeQL Action now supports CodeQL releases that are compatible
with Linux Arm64 and downloads the native <code>linux-arm64</code>
CodeQL bundle when available. <a
href="https://redirect.github.com/github/codeql-action/pull/4072">#4072</a></li>
<li>Update default CodeQL bundle version to <a
href="https://github.com/github/codeql-action/releases/tag/codeql-bundle-v2.27.0">2.27.0</a>.
<a
href="https://redirect.github.com/github/codeql-action/pull/4129">#4129</a></li>
</ul>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/github/codeql-action/blob/main/CHANGELOG.md">github/codeql-action's
changelog</a>.</em></p>
<blockquote>
<h2>4.38.0 - 09 Sept 2026</h2>
<ul>
<li>On GitHub-hosted runners, the CodeQL Action now deletes unused
CodeQL bundles from the toolcache before downloading a different bundle,
which frees up disk space for the analysis. We expect to roll this
change out to everyone in September. <a
href="https://redirect.github.com/github/codeql-action/pull/4124">#4124</a></li>
<li>The CodeQL Action now supports CodeQL releases that are compatible
with Linux Arm64 and downloads the native <code>linux-arm64</code>
CodeQL bundle when available. <a
href="https://redirect.github.com/github/codeql-action/pull/4072">#4072</a></li>
<li>Update default CodeQL bundle version to <a
href="https://github.com/github/codeql-action/releases/tag/codeql-bundle-v2.27.0">2.27.0</a>.
<a
href="https://redirect.github.com/github/codeql-action/pull/4129">#4129</a></li>
</ul>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/github/codeql-action/commit/b96794f015dfd88f77b49b1c93e0fa7110f94c63"><code>b96794f</code></a>
Merge pull request <a
href="https://redirect.github.com/github/codeql-action/issues/4131">#4131</a>
from github/update-v4.38.0-7e08580a9</li>
<li><a
href="https://github.com/github/codeql-action/commit/02d5093871674ea20274117103ce3038c73c77ef"><code>02d5093</code></a>
Update changelog for v4.38.0</li>
<li><a
href="https://github.com/github/codeql-action/commit/7e08580a93dc4e4b9dda167e364577035cf504c6"><code>7e08580</code></a>
Merge pull request <a
href="https://redirect.github.com/github/codeql-action/issues/4130">#4130</a>
from github/henrymercer/workflow-runner-sizing</li>
<li><a
href="https://github.com/github/codeql-action/commit/bfcc52b4f5d98468a5993daa0bf0e4fb3f3ed698"><code>bfcc52b</code></a>
Run slow macOS checks on larger runners</li>
<li><a
href="https://github.com/github/codeql-action/commit/8c251e757c0260283fc50214a06ac768b61d3af4"><code>8c251e7</code></a>
Merge pull request <a
href="https://redirect.github.com/github/codeql-action/issues/4129">#4129</a>
from github/update-bundle/codeql-bundle-v2.27.0</li>
<li><a
href="https://github.com/github/codeql-action/commit/0b7ca400df35985869d4b9146a067865d4115da1"><code>0b7ca40</code></a>
Add changelog note</li>
<li><a
href="https://github.com/github/codeql-action/commit/40484b339517c6bcf00f81eebc95ca041ddca505"><code>40484b3</code></a>
Update default bundle to codeql-bundle-v2.27.0</li>
<li><a
href="https://github.com/github/codeql-action/commit/977e6ceaea7361825998245d787fa3b4d6b9e5df"><code>977e6ce</code></a>
Merge pull request <a
href="https://redirect.github.com/github/codeql-action/issues/4124">#4124</a>
from github/henrymercer/toolcache-bundle-cleanup</li>
<li><a
href="https://github.com/github/codeql-action/commit/40a6b3824794ae1156e1a5320d32e364bf1dcebc"><code>40a6b38</code></a>
Address toolcache cleanup review feedback</li>
<li><a
href="https://github.com/github/codeql-action/commit/deece8f852f048bc3f52fd42c9cc7a99b1ebb252"><code>deece8f</code></a>
Apply suggestion from <a
href="https://github.com/henrymercer"><code>@​henrymercer</code></a></li>
<li>Additional commits viewable in <a
href="https://github.com/github/codeql-action/compare/v4.37.9...v4.38.0">compare
view</a></li>
</ul>
</details>
<br />

Updates `hyperpolymath/smtp-notify-action` from 0.2.0 to 0.3.0
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/hyperpolymath/smtp-notify-action/releases">hyperpolymath/smtp-notify-action's
releases</a>.</em></p>
<blockquote>
<h2>v0.3.0</h2>
<p>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.</p>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/hyperpolymath/smtp-notify-action/blob/main/CHANGELOG.adoc">hyperpolymath/smtp-notify-action's
changelog</a>.</em></p>
<blockquote>
<p>== v0.3.0 — 2026-09-09</p>
<h1>[IMPORTANT]</h1>
<p><code>main</code> is not a release, and pinning <code>@main</code> is
not supported.</p>
<p>Between a release commit landing on <code>main</code> and its tag
being pushed, <code>action.yml</code>
on <code>main</code> names assets that do not exist yet, so
<code>@main</code> fails at the download
step. This window is unavoidable rather than an oversight: the release
workflow
refuses to publish unless the asset URL <em>in the tagged commit</em>
already names the
tag being released, so the commit must precede the tag. The window is
minutes
long and is one more reason <code>@main</code> is not a supported
ref.</p>
<h1>Pin a tag, or a commit SHA that is an ancestor of one.</h1>
<p>=== Added</p>
<ul>
<li><em>STARTTLS on the submission port.</em> <code>secure: false</code>
or
<code>secure: starttls</code> now starts in the clear on port 587 and
upgrades the
same connection in place per RFC 3207, including the mandatory second
<code>EHLO</code> after the upgrade. The upgrade is not opportunistic: a
server that
does not advertise <code>STARTTLS</code> fails the step, and that check
runs before
the command is sent, so no credential is ever written to a cleartext
stream. Certificate verification is identical on both TLS paths.</li>
<li><em>EHLO capability parsing</em> (issue <a
href="https://redirect.github.com/hyperpolymath/smtp-notify-action/issues/9">#9</a>).
The <code>EHLO</code> reply is parsed into a
<code>Capabilities</code> value — <code>STARTTLS</code>, the
<code>AUTH</code> mechanism list (including
the Exchange <code>AUTH=LOGIN</code> spelling), <code>SIZE</code> and
<code>8BITMIME</code> — and an <code>AUTH</code>
failure now names what the server actually advertised. A mechanism
mismatch and a wrong password no longer look alike in the log.</li>
<li>The proven state machine now carries <em>two</em> tables, selected
by transport,
each proven separately: the implicit-TLS table is proven to contain no
upgrade rows, and the STARTTLS table is proven to <em>reach</em> them
from the
start state. A row that is present but unreachable would have
authenticated in the clear while every prior proof stayed green.</li>
<li><em><code>AUTH LOGIN</code>, and mechanism selection</em> (issue <a
href="https://redirect.github.com/hyperpolymath/smtp-notify-action/issues/10">#10</a>).
The mechanism is chosen
from the advertised list instead of assumed: <code>PLAIN</code> where
offered (one round
trip), <code>LOGIN</code> otherwise. On the STARTTLS path the choice is
made from the
post-upgrade advertisement, so rewriting the cleartext greeting cannot
steer
it. A server offering neither is refused <em>before any credential byte
is
written</em>, naming what was on offer. <code>XOAUTH2</code> is not
implemented and is not
planned — it needs an OAuth token, which a repository secret cannot
supply.
The two <code>334</code> challenges are driven outside the proven table
by design; the
terminal reply is still checked against it. See
<code>KNOWN-DEFECTS.adoc</code>,
&quot;Scope of the proof&quot;.</li>
</ul>
<p><em>Microsoft 365 and Google Workspace are reachable from this
release</em> on port 587
with <code>secure: starttls</code>. Port 465 has no listener at
Microsoft 365 and never will
work. The STARTTLS handshake is verified against both providers' live
submission
ports — <code>smtp.office365.com:587</code> and
<code>smtp.gmail.com:587</code>, on 2026-09-09 —</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/hyperpolymath/smtp-notify-action/commit/22e7bdb322c430c1d0dac6b3bb307f4bb139d0be"><code>22e7bdb</code></a>
release: v0.3.0 — action.yml fetches the STARTTLS binaries</li>
<li><a
href="https://github.com/hyperpolymath/smtp-notify-action/commit/11c4ba9bd272d05a6867edba39cffd0085de22fa"><code>11c4ba9</code></a>
feat: reach Microsoft 365 and Google Workspace on the submission port
(STARTT...</li>
<li>See full diff in <a
href="https://github.com/hyperpolymath/smtp-notify-action/compare/v0.2.0...v0.3.0">compare
view</a></li>
</ul>
</details>
<br />

Updates `actions/setup-java` from 6.0.0 to 6.0.1
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/actions/setup-java/releases">actions/setup-java's
releases</a>.</em></p>
<blockquote>
<h2>v6.0.1</h2>
<h2>What's Changed</h2>
<ul>
<li>Fix failing GitHub Actions job for temurin 17 by <a
href="https://github.com/brunoborges"><code>@​brunoborges</code></a>
with <a href="https://github.com/Copilot"><code>@​Copilot</code></a> in
<a
href="https://redirect.github.com/actions/setup-java/pull/1259">actions/setup-java#1259</a></li>
<li>Fix Temurin EA E2E signature verification by <a
href="https://github.com/brunoborges"><code>@​brunoborges</code></a>
with <a href="https://github.com/Copilot"><code>@​Copilot</code></a> in
<a
href="https://redirect.github.com/actions/setup-java/pull/1260">actions/setup-java#1260</a></li>
<li>Fix Alpine GPG verification failures and support multiple keys by <a
href="https://github.com/brunoborges"><code>@​brunoborges</code></a> in
<a
href="https://redirect.github.com/actions/setup-java/pull/1262">actions/setup-java#1262</a></li>
<li>Fix import-safe checks when scripts are run from a path with
symlinks by <a
href="https://github.com/otaconix"><code>@​otaconix</code></a> in <a
href="https://redirect.github.com/actions/setup-java/pull/1265">actions/setup-java#1265</a></li>
<li>Avoid macOS GPG socket overflow on long runner paths by <a
href="https://github.com/brunoborges"><code>@​brunoborges</code></a>
with <a href="https://github.com/Copilot"><code>@​Copilot</code></a> in
<a
href="https://redirect.github.com/actions/setup-java/pull/1266">actions/setup-java#1266</a></li>
<li>Complete v6 release highlights in README by <a
href="https://github.com/brunoborges"><code>@​brunoborges</code></a> in
<a
href="https://redirect.github.com/actions/setup-java/pull/1254">actions/setup-java#1254</a></li>
<li>Group and slow routine Dependabot updates by <a
href="https://github.com/brunoborges"><code>@​brunoborges</code></a> in
<a
href="https://redirect.github.com/actions/setup-java/pull/1255">actions/setup-java#1255</a></li>
<li>chore(deps-dev): update eslint and globals by <a
href="https://github.com/dependabot"><code>@​dependabot</code></a>[bot]
in <a
href="https://redirect.github.com/actions/setup-java/pull/1256">actions/setup-java#1256</a></li>
</ul>
<h2>New Contributors</h2>
<ul>
<li><a href="https://github.com/otaconix"><code>@​otaconix</code></a>
made their first contribution in <a
href="https://redirect.github.com/actions/setup-java/pull/1265">actions/setup-java#1265</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/actions/setup-java/compare/v6.0.0...v6.0.1">https://github.com/actions/setup-java/compare/v6.0.0...v6.0.1</a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/actions/setup-java/commit/de7274f081f381c8f8158605e0321c36c376e2e6"><code>de7274f</code></a>
Avoid macOS GPG socket overflow on long runner paths (<a
href="https://redirect.github.com/actions/setup-java/issues/1266">#1266</a>)</li>
<li><a
href="https://github.com/actions/setup-java/commit/134912a529122c8803d42fbefc4adb2bd177f986"><code>134912a</code></a>
Fix import-safe checks when scripts are run from a path with symlinks
(<a
href="https://redirect.github.com/actions/setup-java/issues/1265">#1265</a>)</li>
<li><a
href="https://github.com/actions/setup-java/commit/0781fc6af30d3e1f67f2d243034e1a15cf5f3677"><code>0781fc6</code></a>
Fix alpine failures by switching default back to only warn on
verification fa...</li>
<li><a
href="https://github.com/actions/setup-java/commit/4889c4aff54cecfc8d479c505d9893fd814df73f"><code>4889c4a</code></a>
Fix Temurin EA E2E signature verification (<a
href="https://redirect.github.com/actions/setup-java/issues/1260">#1260</a>)</li>
<li><a
href="https://github.com/actions/setup-java/commit/8fd32400856216412ac77ad6dc67cca66ecffb93"><code>8fd3240</code></a>
[WIP] Fix failing GitHub Actions job for temurin 17 (<a
href="https://redirect.github.com/actions/setup-java/issues/1259">#1259</a>)</li>
<li><a
href="https://github.com/actions/setup-java/commit/273229181560643261a71a1544c22304f2a40df8"><code>2732291</code></a>
chore(deps-dev): update eslint and globals (<a
href="https://redirect.github.com/actions/setup-java/issues/1256">#1256</a>)</li>
<li><a
href="https://github.com/actions/setup-java/commit/1a8f22b7f7b115efae2d0dbe944753d561a53801"><code>1a8f22b</code></a>
chore: streamline Dependabot updates (<a
href="https://redirect.github.com/actions/setup-java/issues/1255">#1255</a>)</li>
<li><a
href="https://github.com/actions/setup-java/commit/85030b78b58b52f56c1ed3d0e893d2c93117274b"><code>85030b7</code></a>
docs: complete v6 release highlights (<a
href="https://redirect.github.com/actions/setup-java/issues/1254">#1254</a>)</li>
<li>See full diff in <a
href="https://github.com/actions/setup-java/compare/v6.0.0...v6.0.1">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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


</details>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

.github/workflows/codeql.yml

@@ -41,12 +41,12 @@ jobs:
         uses: actions/checkout@v7.0.1
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/init@v4.37.9
+        uses: github/codeql-action/init@v4.38.0
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/analyze@v4.37.9
+        uses: github/codeql-action/analyze@v4.38.0
         with:
           category: "/language:${{ matrix.language }}"

.github/workflows/push-email-notify.yml

@@ -41,7 +41,7 @@ jobs:
     timeout-minutes: 5
     steps:
       - name: Send push notification email
-        uses: hyperpolymath/smtp-notify-action@v0.2.0
+        uses: hyperpolymath/smtp-notify-action@v0.3.0
         with:
           server_address: ${{ secrets.SMTP_HOST }}
           server_port: ${{ secrets.SMTP_PORT }}

.github/workflows/verify-tlaplus.yml

@@ -44,7 +44,7 @@ jobs:
         uses: actions/checkout@v7.0.1
 
       - name: Set up Eclipse Temurin 21 JRE
-        uses: actions/setup-java@v6.0.0
+        uses: actions/setup-java@v6.0.1
         with:
           distribution: temurin
           java-version: '21'