PLFA agda exercises

Bump html-validate from 10.1.1 to 10.1.2 (#1136)

Bumps html-validate from 10.1.1 to 10.1.2. <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.1.2</h2> <h2>10.1.2 (2025-10-11)</h2> <h3>Bug Fixes</h3> <ul> <li><strong>rules:</strong> ignore disabled input fields in <code>form-dup-name</code> rule (<a href="https://gitlab.com/html-validate/html-validate/commit/cf1962ea79701d1a6f6933ee23b443373023c544">cf1962e</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/294">#294</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.1.2 (2025-10-11)</h2> <h3>Bug Fixes</h3> <ul> <li><strong>rules:</strong> ignore disabled input fields in <code>form-dup-name</code> rule (<a href="https://gitlab.com/html-validate/html-validate/commit/cf1962ea79701d1a6f6933ee23b443373023c544">cf1962e</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/294">#294</a></li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://gitlab.com/html-validate/html-validate/commit/803353dc969d8a4e1fa3b5e2bffdd59672e574c6"><code>803353d</code></a> chore(release): 10.1.2</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/97c18e32422cda1074e1d577a1baecb49f2b18e2"><code>97c18e3</code></a> Merge branch 'bugfix/form-dup-name-disabled' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/cf1962ea79701d1a6f6933ee23b443373023c544"><code>cf1962e</code></a> fix(rules): ignore disabled input fields in <code>form-dup-name</code> rule</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/cc392f39f3f9593b5cb5f37627c1092c3fcde6cf"><code>cc392f3</code></a> refactor: add new rule helper <code>isInputDisabled</code></li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/65268417d45db3aa411bcdd84f1ba20691aa843a"><code>6526841</code></a> refactor: support disabling cache</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/39c222228f9e12e9bd155abc3f933e0b46c3243b"><code>39c2222</code></a> chore(deps): update package-lock.json</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/b5fc092262fb4a88126f0d261e87fd467203c51e"><code>b5fc092</code></a> Merge branch 'issue-315-third-party-rules' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/5029a53b37b9919e7d2a07d742174c1205ba0229"><code>5029a53</code></a> docs: add third-party rules page</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/99b93e4ecdff38862cff4704611638497d609625"><code>99b93e4</code></a> docs: fix stray capital letters</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/5fd1feb914588ea3d559b1712c8873d3fa1b4229"><code>5fd1feb</code></a> chore(deps): update dependency ts-jest to v29.4.5</li> <li>Additional commits viewable in <a href="https://gitlab.com/html-validate/html-validate/compare/v10.1.1…v10.1.2">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 October 14, 2025
AQSGUQ3LP5UXKTW6FWC3JTAD54PYBHBYOQTNOQZ6RX4RKZHLWZFQC
Change contents