PLFA agda exercises

Bump html-validate from 10.3.0 to 10.3.1 (#1146)

Bumps html-validate from 10.3.0 to 10.3.1. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://gitlab.com/html-validate/html-validate/tags">html-validate's releases</a>.</em></p> <blockquote> <h2>v10.3.1</h2> <h2>10.3.1 (2025-11-09)</h2> <h3>Bug Fixes</h3> <ul> <li><strong>html5:</strong> <code>&lt;a&gt;</code> element is only interactive if it has an <code>href</code> attribute (<a href="https://gitlab.com/html-validate/html-validate/commit/385f92fb3f01e8755c566adf1a6ed61923ca5899">385f92f</a>)</li> <li><strong>html5:</strong> allow <code>&lt;hr&gt;</code> element to be used as descendant of <code>&lt;select&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/e601d36776c150497f879ad11082bcb27719c7a2">e601d36</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/331">#331</a></li> <li><strong>html5:</strong> disallow nested <code>&lt;a&gt;</code> elements even without <code>href</code> attribute (<a href="https://gitlab.com/html-validate/html-validate/commit/622e2f66d1b055d2fbd98c7c0132c3fea708dac3">622e2f6</a>)</li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://gitlab.com/html-validate/html-validate/blob/master/CHANGELOG.md">html-validate's changelog</a>.</em></p> <blockquote> <h2>10.3.1 (2025-11-09)</h2> <h3>Bug Fixes</h3> <ul> <li><strong>html5:</strong> <code>&lt;a&gt;</code> element is only interactive if it has an <code>href</code> attribute (<a href="https://gitlab.com/html-validate/html-validate/commit/385f92fb3f01e8755c566adf1a6ed61923ca5899">385f92f</a>)</li> <li><strong>html5:</strong> allow <code>&lt;hr&gt;</code> element to be used as descendant of <code>&lt;select&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/e601d36776c150497f879ad11082bcb27719c7a2">e601d36</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/331">#331</a></li> <li><strong>html5:</strong> disallow nested <code>&lt;a&gt;</code> elements even without <code>href</code> attribute (<a href="https://gitlab.com/html-validate/html-validate/commit/622e2f66d1b055d2fbd98c7c0132c3fea708dac3">622e2f6</a>)</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://gitlab.com/html-validate/html-validate/commit/fe6a7af98327bd23888bf4d881a3f2c78eecea02"><code>fe6a7af</code></a> chore(release): 10.3.1</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/a0bf3d1b823b192cd3a5771d04437c009fb94421"><code>a0bf3d1</code></a> Merge branch 'bugfix/hr-select' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/e601d36776c150497f879ad11082bcb27719c7a2"><code>e601d36</code></a> fix(html5): allow <code>&amp;lt;hr&gt;</code> element to be used as descendant of <code>&amp;lt;select&gt;</code></li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/e8beafc1785630facc99eca26624f1c32ef9c085"><code>e8beafc</code></a> Merge branch 'bugfix/a-interactive' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/622e2f66d1b055d2fbd98c7c0132c3fea708dac3"><code>622e2f6</code></a> fix(html5): disallow nested <code>&amp;lt;a&gt;</code> elements even without <code>href</code> attribute</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/385f92fb3f01e8755c566adf1a6ed61923ca5899"><code>385f92f</code></a> fix(html5): <code>&amp;lt;a&gt;</code> element is only interactive if it has an <code>href</code> attribute</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/dae5dd8d3a900555c7d31e2ee21cba823ece8244"><code>dae5dd8</code></a> Merge branch 'renovate/rollup-4.x' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/73e77079766c5b329a1cdfdab6be0d5df82298d2"><code>73e7707</code></a> chore(deps): update dependency rollup to v4.53.1</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/dc7bfc342aa7ff81f4bbfe750530a103d1dad53c"><code>dc7bfc3</code></a> chore(deps): update dependency vitest to v4.0.8</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/351685326e1fdcdc08c249200d580c4efb5f456e"><code>3516853</code></a> chore(deps): update dependency npm-pkg-lint to v4.3.0</li> <li>Additional commits viewable in <a href="https://gitlab.com/html-validate/html-validate/compare/v10.3.0…v10.3.1">compare view</a></li> </ul> </details> <br />

Dependabot compatibility score

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.


<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 merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show &lt;dependency name&gt; ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

</details>

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

Created by  dependabot[bot]  on November 10, 2025
VNRTNM3ZCMZZ7ADCHTWQEQFPIPATTIRIAR3DQYF2OHI57YARB6HAC
Change contents