PLFA agda exercises

Update html-proofer requirement from ~> 5.0.3 to ~> 5.1.0 (#1145)

Updates the requirements on html-proofer to permit the latest version. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/gjtorikian/html-proofer/releases">html-proofer's releases</a>.</em></p> <blockquote> <h2>v5.1.0</h2> <h2>What's Changed</h2> <ul> <li>Bump actions/checkout from 4 to 5 by <a href="https://github.com/dependabot"><code>@​dependabot</code></a>[bot] in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/857">gjtorikian/html-proofer#857</a></li> <li>Add <code>benchmark</code> to Gemfile by <a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/858">gjtorikian/html-proofer#858</a></li> <li>Remove outdated real-world examples by <a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/859">gjtorikian/html-proofer#859</a></li> <li>Allow support for multiple directory index files by <a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/860">gjtorikian/html-proofer#860</a></li> <li>[skip test] Release v5.1.0 by <a href="https://github.com/github-actions"><code>@​github-actions</code></a>[bot] in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/861">gjtorikian/html-proofer#861</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> made their first contribution in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/858">gjtorikian/html-proofer#858</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/gjtorikian/html-proofer/compare/v5.0.10…v5.1.0">https://github.com/gjtorikian/html-proofer/compare/v5.0.10…v5.1.0</a></p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/gjtorikian/html-proofer/blob/main/CHANGELOG.md">html-proofer's changelog</a>.</em></p> <blockquote> <h1>[v5.1.0] - 03-11-2025</h1> <h2>What's Changed</h2> <ul> <li>Bump actions/checkout from 4 to 5 by <a href="https://github.com/dependabot"><code>@​dependabot</code></a>[bot] in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/857">gjtorikian/html-proofer#857</a></li> <li>Add to Gemfile by <a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/858">gjtorikian/html-proofer#858</a></li> <li>Remove outdated real-world examples by <a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/859">gjtorikian/html-proofer#859</a></li> <li>Allow support for multiple directory index files by <a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/860">gjtorikian/html-proofer#860</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/denisdefreyne"><code>@​denisdefreyne</code></a> made their first contribution in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/858">gjtorikian/html-proofer#858</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/gjtorikian/html-proofer/compare/v5.0.10…v5.1.0">https://github.com/gjtorikian/html-proofer/compare/v5.0.10…v5.1.0</a></p> <h1>[v5.0.10] - 21-02-2025</h1> <h2>What's Changed</h2> <ul> <li>Fixup typhoeus arg usage in README by <a href="https://github.com/gionn"><code>@​gionn</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/841">gjtorikian/html-proofer#841</a></li> <li>Check utf8 relative anchors by <a href="https://github.com/ahpook"><code>@​ahpook</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/842">gjtorikian/html-proofer#842</a></li> <li>Fix variable assignment in index.php by <a href="https://github.com/MakWigglz"><code>@​MakWigglz</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/845">gjtorikian/html-proofer#845</a></li> <li>Correct README example by <a href="https://github.com/gjtorikian"><code>@​gjtorikian</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/847">gjtorikian/html-proofer#847</a></li> <li>Handle multiple srcsets when first is remote (fixes <a href="https://redirect.github.com/gjtorikian/html-proofer/issues/850">#850</a>) by <a href="https://github.com/paulroub"><code>@​paulroub</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/851">gjtorikian/html-proofer#851</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/gionn"><code>@​gionn</code></a> made their first contribution in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/841">gjtorikian/html-proofer#841</a></li> <li><a href="https://github.com/ahpook"><code>@​ahpook</code></a> made their first contribution in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/842">gjtorikian/html-proofer#842</a></li> <li><a href="https://github.com/MakWigglz"><code>@​MakWigglz</code></a> made their first contribution in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/845">gjtorikian/html-proofer#845</a></li> <li><a href="https://github.com/paulroub"><code>@​paulroub</code></a> made their first contribution in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/851">gjtorikian/html-proofer#851</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/gjtorikian/html-proofer/compare/v5.0.9…v5.0.10">https://github.com/gjtorikian/html-proofer/compare/v5.0.9…v5.0.10</a></p> <h1>[v5.0.9] - 07-05-2024</h1> <h2>What's Changed</h2> <ul> <li>Bump actions/checkout from 3 to 4 by <a href="https://github.com/dependabot"><code>@​dependabot</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/805">gjtorikian/html-proofer#805</a></li> </ul> <ul> <li>Bump actions/checkout from 3 to 4 by <a href="https://github.com/dependabot"><code>@​dependabot</code></a> in <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/805">gjtorikian/html-proofer#805</a></li> <li>Improved performance be removing unnecessary regexp (<a href="https://redirect.github.com/gjtorikian/html-proofer/pull/820">gjtorikian/html-proofer#820</a>)</li> <li>Improved color output <a href="https://redirect.github.com/gjtorikian/html-proofer/pull/818">gjtorikian/html-proofer#818</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/gjtorikian/html-proofer/compare/v5.0.8…v5.0.9">https://github.com/gjtorikian/html-proofer/compare/v5.0.8…v5.0.9</a></p> <h2>[v5.0.8] - 06-08-2023</h2> <p>null</p> <h1>Changelog</h1> <h2><a href="https://github.com/gjtorikian/html-proofer/tree/HEAD">Unreleased</a></h2> <p><a href="https://github.com/gjtorikian/html-proofer/compare/v5.0.7…HEAD">Full Changelog</a></p> <p><strong>Closed issues:</strong></p> <ul> <li>Fails multi email mailto <a href="https://redirect.github.com/gjtorikian/html-proofer/issues/796">#796</a></li> </ul> <h2><a href="https://github.com/gjtorikian/html-proofer/tree/v5.0.7">v5.0.7</a> (2023-04-18)</h2> <!– raw HTML omitted –> </blockquote> <p>… (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/gjtorikian/html-proofer/commit/9922c83a3ad62057a804c0b8282d0ebc49931727"><code>9922c83</code></a> Merge pull request <a href="https://redirect.github.com/gjtorikian/html-proofer/issues/861">#861</a> from gjtorikian/release/v5.1.0</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/619b5b1ddd789ada62a35ff4aad96ec25352f599"><code>619b5b1</code></a> [skip test] update changelog</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/8276b1e4866523abf87b803e8b5ce373153af0a3"><code>8276b1e</code></a> Merge pull request <a href="https://redirect.github.com/gjtorikian/html-proofer/issues/860">#860</a> from denisdefreyne/denis/multiple-index-files</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/b6072c4a8d3c611fedfc0ead440348e4d693428c"><code>b6072c4</code></a> :gem: bump to 5.1.0</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/da410a93ddb78526f885c049008ebd4162b87ac4"><code>da410a9</code></a> lint</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/41b05fdd88c6162a3dafce4bd6959900e238ba4a"><code>41b05fd</code></a> Merge pull request <a href="https://redirect.github.com/gjtorikian/html-proofer/issues/859">#859</a> from denisdefreyne/denis/rm-outdated-real-world-examples</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/0a551ea26e580e849a66d931e06248ab3e439f18"><code>0a551ea</code></a> Merge pull request <a href="https://redirect.github.com/gjtorikian/html-proofer/issues/858">#858</a> from denisdefreyne/denis/benchmark-gem</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/1be965976007938a5dc78834ab7d456e07034a1c"><code>1be9659</code></a> relax</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/fda0305a4fe8494b689a4025b94746c2eafa44c7"><code>fda0305</code></a> Add support for multiple directory index files</li> <li><a href="https://github.com/gjtorikian/html-proofer/commit/cde15686f4f5883eccaaaaa08fe57e49c5e0c465"><code>cde1568</code></a> Remove outdated real-world examples</li> <li>Additional commits viewable in <a href="https://github.com/gjtorikian/html-proofer/compare/v5.0.3…v5.1.0">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.


<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
KTTLJQAIMJV5CUCUYAOFMLZ4SJXHWJ42Q4RU3VKWOK2FRCOJ2K3AC
In channels
main
Change contents