PLFA agda exercises

Bump sass from 1.93.2 to 1.93.3 (#1143)

Bumps sass from 1.93.2 to 1.93.3. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/sass/dart-sass/releases">sass's releases</a>.</em></p> <blockquote> <h2>Dart Sass 1.93.3</h2> <p>To install Sass 1.93.3, download one of the packages below and <a href="https://katiek2.github.io/path-doc/">add it to your PATH</a>, or see <a href="https://sass-lang.com/install">the Sass website</a> for full installation instructions.</p> <h1>Changes</h1> <ul> <li>Fix a performance regression that was introduced in 1.92.0.</li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1933">full changelog</a> for changes in earlier releases.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/sass/dart-sass/blob/main/CHANGELOG.md">sass's changelog</a>.</em></p> <blockquote> <h2>1.93.3</h2> <ul> <li>Fix a performance regression that was introduced in 1.92.0.</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/sass/dart-sass/commit/4e5bd2597f3c932d532718e95881d007c61ad374"><code>4e5bd25</code></a> Stop holding onto stack traces for every CSS declaration (<a href="https://redirect.github.com/sass/dart-sass/issues/2666">#2666</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/65b77ee1d75c577522453b66588103f08a461316"><code>65b77ee</code></a> Bump analyzer, protobuf, protoc_plugin and dartdoc (<a href="https://redirect.github.com/sass/dart-sass/issues/2660">#2660</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/e61936c7d3e7b28d5b1e56b76d723c6d4aa3638c"><code>e61936c</code></a> Bump actions/setup-node from 4 to 6 (<a href="https://redirect.github.com/sass/dart-sass/issues/2661">#2661</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/b5f4c6700c0db3837da7260d50da82ecfc9c554e"><code>b5f4c67</code></a> Bump actions/setup-node from 5 to 6 in /.github/util/initialize (<a href="https://redirect.github.com/sass/dart-sass/issues/2662">#2662</a>)</li> <li>See full diff in <a href="https://github.com/sass/dart-sass/compare/1.93.2…1.93.3">compare view</a></li> </ul> </details> <br />

<details> <summary>Most Recent Ignore Conditions Applied to This Pull Request</summary>

Dependency NameIgnore Conditions
sass[< 1.55, > 1.54.0]
</details>

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 3, 2025
WDOUQKYCKRR7R5MIRGSLDKOQEJLDBI2UY5WP74T263MNIR6FQWWQC
Change contents