PLFA agda exercises

Bump html-validate from 10.2.1 to 10.3.0 (#1142)

Bumps html-validate from 10.2.1 to 10.3.0. <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.0</h2> <h2>10.3.0 (2025-11-02)</h2> <h3>Features</h3> <ul> <li><strong>html5:</strong> allow <code>&lt;button&gt;</code> as first child of <code>&lt;select&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/3de8a0f4ddce303dacbb92b345382c90bafc213f">3de8a0f</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>html5:</strong> allow <code>&lt;option&gt;</code> to have child content (<a href="https://gitlab.com/html-validate/html-validate/commit/6056325c4a7016b77256c3116b3ed2a457275538">6056325</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>html5:</strong> support <code>&lt;selectedcontent&gt;</code> element (<a href="https://gitlab.com/html-validate/html-validate/commit/d3d2c2237f266747b956e5f21a50ddd5ed5a62ef">d3d2c22</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>html5:</strong> support <code>hidden=&quot;until-found&quot;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/baa033fa1d0cea969f16ad2e30e9c6426b16752e">baa033f</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/322">#322</a></li> <li><strong>meta:</strong> <code>permittedOrder</code> can take a selector list for elements with equal order requirement (<a href="https://gitlab.com/html-validate/html-validate/commit/b3f92c2d472a707c2cf45e7a1c252f67bb9a2608">b3f92c2</a>)</li> <li>parse <code>&lt;title&gt;</code> content as literal characters instead of HTML elements (<a href="https://gitlab.com/html-validate/html-validate/commit/3399ab5c939216f329ce2b323ad7b580c5ebd00e">3399ab5</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/326">#326</a></li> </ul> <h3>Bug Fixes</h3> <ul> <li><strong>html5:</strong> allow <code>blocking</code> attribute on <code>&lt;link rel=&quot;expect&quot;&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/5bbabc436f473bcee422c94f799a57c4c360509c">5bbabc4</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/327">#327</a></li> <li><strong>html5:</strong> disallow <code>blocking</code> attribute on <code>&lt;link rel=&quot;preload&quot;&gt;</code> and <code>&lt;link rel=&quot;modulepreload&quot;&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/0a17e500a55f8334668419c34f7a84d40f5bf12c">0a17e50</a>)</li> <li><strong>html5:</strong> let <code>&lt;selectedcontent&gt;</code> fulfill the accessible text content requirement of <code>&lt;button&gt;</code> elements (<a href="https://gitlab.com/html-validate/html-validate/commit/d1dff73346054a5c2815230ee6c3767fe8510a60">d1dff73</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>rules:</strong> ignore omitted <code>type</code> attribute on <code>&lt;button&gt;</code> when used as first child of <code>&lt;select&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/1476960b0a7294f30dd239bc256c05f03b5c9a0d">1476960</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</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.0 (2025-11-02)</h2> <h3>Features</h3> <ul> <li><strong>html5:</strong> allow <code>&lt;button&gt;</code> as first child of <code>&lt;select&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/3de8a0f4ddce303dacbb92b345382c90bafc213f">3de8a0f</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>html5:</strong> allow <code>&lt;option&gt;</code> to have child content (<a href="https://gitlab.com/html-validate/html-validate/commit/6056325c4a7016b77256c3116b3ed2a457275538">6056325</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>html5:</strong> support <code>&lt;selectedcontent&gt;</code> element (<a href="https://gitlab.com/html-validate/html-validate/commit/d3d2c2237f266747b956e5f21a50ddd5ed5a62ef">d3d2c22</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>html5:</strong> support <code>hidden=&quot;until-found&quot;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/baa033fa1d0cea969f16ad2e30e9c6426b16752e">baa033f</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/322">#322</a></li> <li><strong>meta:</strong> <code>permittedOrder</code> can take a selector list for elements with equal order requirement (<a href="https://gitlab.com/html-validate/html-validate/commit/b3f92c2d472a707c2cf45e7a1c252f67bb9a2608">b3f92c2</a>)</li> <li>parse <code>&lt;title&gt;</code> content as literal characters instead of HTML elements (<a href="https://gitlab.com/html-validate/html-validate/commit/3399ab5c939216f329ce2b323ad7b580c5ebd00e">3399ab5</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/326">#326</a></li> </ul> <h3>Bug Fixes</h3> <ul> <li><strong>html5:</strong> allow <code>blocking</code> attribute on <code>&lt;link rel=&quot;expect&quot;&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/5bbabc436f473bcee422c94f799a57c4c360509c">5bbabc4</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/327">#327</a></li> <li><strong>html5:</strong> disallow <code>blocking</code> attribute on <code>&lt;link rel=&quot;preload&quot;&gt;</code> and <code>&lt;link rel=&quot;modulepreload&quot;&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/0a17e500a55f8334668419c34f7a84d40f5bf12c">0a17e50</a>)</li> <li><strong>html5:</strong> let <code>&lt;selectedcontent&gt;</code> fulfill the accessible text content requirement of <code>&lt;button&gt;</code> elements (<a href="https://gitlab.com/html-validate/html-validate/commit/d1dff73346054a5c2815230ee6c3767fe8510a60">d1dff73</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> <li><strong>rules:</strong> ignore omitted <code>type</code> attribute on <code>&lt;button&gt;</code> when used as first child of <code>&lt;select&gt;</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/1476960b0a7294f30dd239bc256c05f03b5c9a0d">1476960</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/321">#321</a></li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://gitlab.com/html-validate/html-validate/commit/99637f21b5c2a64ffc17d722260d4ddfa53da25a"><code>99637f2</code></a> chore(release): 10.3.0</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/8fbc4af3291c8e2a4cb9b81fea908541f62570a2"><code>8fbc4af</code></a> Merge branch 'bugfix/link-blocking' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/0a17e500a55f8334668419c34f7a84d40f5bf12c"><code>0a17e50</code></a> fix(html5): disallow <code>blocking</code> attribute on <code>&amp;lt;link rel=&quot;preload&quot;&gt;</code> and `&lt;lin…</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/5bbabc436f473bcee422c94f799a57c4c360509c"><code>5bbabc4</code></a> fix(html5): allow <code>blocking</code> attribute on <code>&amp;lt;link rel=&quot;expect&quot;&gt;</code></li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/0b6c61aa2bfd30fd92a8157fc349d6489f984607"><code>0b6c61a</code></a> Merge branch 'feature/hidden-until-found' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/baa033fa1d0cea969f16ad2e30e9c6426b16752e"><code>baa033f</code></a> feat(html5): support <code>hidden=&quot;until-found&quot;</code></li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/046de95692258d377b841e5583abac8a49ac95c2"><code>046de95</code></a> Merge branch 'feature/custom-select' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/acb874fb72c8bc8120184dab6fd3d5c40b0645f9"><code>acb874f</code></a> test: test against example from mdn</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/6056325c4a7016b77256c3116b3ed2a457275538"><code>6056325</code></a> feat(html5): allow <code>&amp;lt;option&gt;</code> to have child content</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/3de8a0f4ddce303dacbb92b345382c90bafc213f"><code>3de8a0f</code></a> feat(html5): allow <code>&amp;lt;button&gt;</code> as first child of <code>&amp;lt;select&gt;</code></li> <li>Additional commits viewable in <a href="https://gitlab.com/html-validate/html-validate/compare/v10.2.1…v10.3.0">compare view</a></li> </ul> </details> <details> <summary>Maintainer changes</summary> <p>This version was pushed to npm by [GitLab CI/CD](<a href="https://www.npmjs.com/~GitLab">https://www.npmjs.com/~GitLab</a> CI/CD), a new releaser for html-validate since your current version.</p> </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 4, 2025
YHHAMUNLZBW7CGC2EHNU5IU6ONCXRESKFXKNP2FOXV4ACOVUG7FQC
Change contents