bisect step 1 #5989
Closed
bisect step 1 #5989
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This introduces a notion of synthetic atoms into `bv_decide`'s reflection framework. An atom can be declared synthetic if its behavior is fully specified by additional lemmas that are added in the process of creating it. This is for example useful in the code that handles `if` as the entire `if` block is abstracted as an atom and then two lemmas to describe either branch are added. Previously this had the effect of creating error messages about potentially unsound counterexamples, now the synthetic atoms get filtered from the counter example generation.
This adds all fixed width integers with the exception of `ssize_t` so the code is quick to review as everything just behaves the same.
Lake will now update a package's `lean-toolchain` file on `lake update` if it finds the package's direct dependencies use a newer compatible toolchain. To skip this step, use the `--keep-toolchain` CLI option. Closes leanprover#2582. Closes leanprover#2752. Closes leanprover#5615. ### Toolchain update details To determine "newest compatible" toolchain, Lake parses the toolchain listed in the packages' `lean-toolchain` files into four categories: release , nightly, PR, and other. For newness, release toolchains are compared by semantic version (e.g., `"v4.4.0" < "v4.8.0"` and `"v4.6.0-rc1" < "v4.6.0"`) and nightlies are compared by date (e.g., `"nightly-2024-01-10" < "nightly-2014-10-01"`). All other toolchain types and mixtures are incompatible. If there is not a single newest toolchain, Lake will print a warning and continue updating without changing the toolchain. If Lake does find a new toolchain, Lake updates the workspace's `lean-toolchain` file accordingly and restarts the update process on the new Lake. If Elan is detected, it will spawn the new Lake process via `elan run` with the same arguments Lake was initially run with. If Elan is missing, it will prompt the user to restart Lake manually and exit with a special error code (4). ### Other changes To implement this new logic, various other refactors were needed. Here are some key highlights: * Logs emitted during package and workspace loading are now eagerly printed. * The Elan executable used by Lake is now configurable by the `ELAN` environment variable. * The `--lean` CLI option was removed. Use the `LEAN` environment variable instead. * `Package.deps` / `Package.opaqueDeps` have been removed. Use `findPackage?` with a dependency's name instead. * The dependency resolver now uses a pure breadth-first traversal to resolve dependencies. It also resolves dependencies in reverse order, which is done for consistency with targets. Latter targets shadow earlier ones and latter dependencies take precedence over earlier ones. **These changes mean the order of dependencies in a Lake manifest will change after the first `lake update` on this version of Lake.**
New behavior: when in recovery mode, if any tactic fails in `all_goals` then the metacontext is restored and all goals are admitted. Without this, it can leave partially-solved metavariables and incomplete goal lists.
This is a `pmap` analog of [`List.map_id''`](https://leanprover-community.github.io/mathlib4_docs/Init/Data/List/Lemmas.html#List.map_id''). As discussed on [Zulip](https://leanprover.zulipchat.com/#narrow/channel/217875-Is-there-code-for-X.3F/topic/.60pmap_eq_self.60/near/472496933).
`o.or (some a) = o.getD a`. As discussed on [Zulip](https://leanprover.zulipchat.com/#narrow/channel/217875-Is-there-code-for-X.3F/topic/a.2Eor.20.28some.20b.29.20.3D.20a.2EgetD.20b/near/472785093).
…#5951) Unused, and hurts confluence.
Bumps [nwtgck/actions-netlify](https://github.com/nwtgck/actions-netlify) from 2.0 to 3.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/nwtgck/actions-netlify/releases">nwtgck/actions-netlify's releases</a>.</em></p> <blockquote> <h2>v3.0.0</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>Updates the default runtime to node20</li> </ul> <h2>v2.1.0</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h3>Added</h3> <ul> <li>Add "enable-github-deployment" input <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/901">#901</a> by <a href="https://github.com/a-tokyo"><code>@a-tokyo</code></a></li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/nwtgck/actions-netlify/blob/develop/CHANGELOG.md">nwtgck/actions-netlify's changelog</a>.</em></p> <blockquote> <h1>Changelog</h1> <p>All notable changes to this project will be documented in this file.</p> <p>The format is based on <a href="https://keepachangelog.com/en/1.0.0/">Keep a Changelog</a></p> <h2>[Unreleased]</h2> <h2>[3.0.0] - 2024-03-10</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>Updates the default runtime to node20</li> </ul> <h2>[2.1.0] - 2023-08-18</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h3>Added</h3> <ul> <li>Add "enable-github-deployment" input <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/901">#901</a> by <a href="https://github.com/a-tokyo"><code>@a-tokyo</code></a></li> </ul> <h2>[2.0.0] - 2022-12-08</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>Updates the default runtime to node16</li> </ul> <h2>[1.2.4] - 2022-10-14</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.3] - 2021-12-20</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.2] - 2021-05-08</h2> <h3>Fixed</h3> <ul> <li>Fix GitHub deployment description</li> </ul> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.1] - 2021-05-05</h2> <h3>Added</h3> <ul> <li>Add "fails-without-credentials" input to fail if the credentials not provided <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/532">#532</a></li> </ul> <h3>Changed</h3> <ul> <li>Update dependencies</li> </ul> <h2>[1.2.0] - 2021-04-29</h2> <h3>Changed</h3> <ul> <li>Update dependencies</li> <li>(breaking change for <code>overwrites-pull-request-comment: true</code>): Support multiple app deploys in a single PR <a href="https://redirect.github.com/nwtgck/actions-netlify/pull/484">#484</a> by <a href="https://github.com/kaisermann"><code>@kaisermann</code></a></li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/nwtgck/actions-netlify/commit/4cbaf4c08f1a7bfa537d6113472ef4424e4eb654"><code>4cbaf4c</code></a> Merge branch 'release/3.0.0'</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/6b45669bafe28c05d167ba6b6519bd5f09c14cd6"><code>6b45669</code></a> bump: 3.0.0</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/8d5d80bf733bbfdeda831c1e7d02985dece8a18f"><code>8d5d80b</code></a> Merge pull request <a href="https://redirect.github.com/nwtgck/actions-netlify/issues/1151">#1151</a> from nwtgck/actions-build/nwtgck-dependabot/npm_and_...</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/85c2e8e35a6bac87418166444f46870f378402be"><code>85c2e8e</code></a> build</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/ea3c314fcde339c7551e94a12e3bb1806d0736c7"><code>ea3c314</code></a> Build(deps): bump <code>@actions/github</code> from 5.1.1 to 6.0.0</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/333815eadd167bd4f5c4fc811b2fe712e32e627c"><code>333815e</code></a> updates the default runtime to node20</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/06de7de77bd92a952fbd1d56de68be2d87f4cfd8"><code>06de7de</code></a> Build(deps-dev): bump <code>@vercel/ncc</code> from 0.36.1 to 0.38.1 (<a href="https://redirect.github.com/nwtgck/actions-netlify/issues/1121">#1121</a>)</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/a7f64ad4e242f0f959351133425dda981969531c"><code>a7f64ad</code></a> deps: update</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/fee801f039aa1d6bf826390ea1f22350e2a99ee4"><code>fee801f</code></a> Build(deps): bump actions/setup-node from 3 to 4 (<a href="https://redirect.github.com/nwtgck/actions-netlify/issues/1124">#1124</a>)</li> <li><a href="https://github.com/nwtgck/actions-netlify/commit/e4998d22a00290b87e16c257cff52afa98fdaeab"><code>e4998d2</code></a> README.md, sample workflow: bump to latest action versions (<a href="https://redirect.github.com/nwtgck/actions-netlify/issues/1149">#1149</a>)</li> <li>Additional commits viewable in <a href="https://github.com/nwtgck/actions-netlify/compare/v2.0...v3.0">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
) Bumps [softprops/action-gh-release](https://github.com/softprops/action-gh-release) from 1 to 2. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/softprops/action-gh-release/releases">softprops/action-gh-release's releases</a>.</em></p> <blockquote> <h2>v2.0.0</h2> <ul> <li>update actions.yml declaration to node20 to address warnings</li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/softprops/action-gh-release/blob/master/CHANGELOG.md">softprops/action-gh-release's changelog</a>.</em></p> <blockquote> <h2>0.1.12</h2> <ul> <li>fix bug leading to empty strings subsituted for inputs users don't provide breaking api calls <a href="https://redirect.github.com/softprops/action-gh-release/pull/144">#144</a></li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/softprops/action-gh-release/commit/e7a8f85e1c67a31e6ed99a94b41bd0b71bbee6b8"><code>e7a8f85</code></a> chore: release 2.0.9</li> <li><a href="https://github.com/softprops/action-gh-release/commit/04afa1392e42ba338276f0b186157caf99007c97"><code>04afa13</code></a> chore(deps): bump actions/setup-node from 4.0.4 to 4.1.0 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/535">#535</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/894468a03c4eaf68d8fb44577915671344967566"><code>894468a</code></a> chore(deps): bump actions/checkout from 4.2.1 to 4.2.2 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/534">#534</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/3bd23aa9eca0e0446f333cee94b02c2c9c876bdc"><code>3bd23aa</code></a> chore(deps): bump <code>@types/node</code> from 22.7.5 to 22.8.2 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/533">#533</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/21eb2f9554ab47bde7662aa1a5586d16d1d63af3"><code>21eb2f9</code></a> chore(deps): bump <code>@types/jest</code> from 29.5.13 to 29.5.14 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/532">#532</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/cd8b57e57218a24af14e307ad8491ec133804ef1"><code>cd8b57e</code></a> remove unused imports (<a href="https://redirect.github.com/softprops/action-gh-release/issues/521">#521</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/820a5adc43b026a42c57f0a28947eec308610457"><code>820a5ad</code></a> chore(deps): bump actions/checkout from 4.2.0 to 4.2.1 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/522">#522</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/9d04f90cd87b3f3e773623ca57aecc3268b588d9"><code>9d04f90</code></a> chore(deps): bump <code>@octokit/plugin-throttling</code> from 9.3.1 to 9.3.2 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/523">#523</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/aaf1d5f6d5acf0bd13aa894c5c64047075d912f9"><code>aaf1d5f</code></a> chore(deps): bump <code>@actions/core</code> from 1.10.1 to 1.11.1 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/524">#524</a>)</li> <li><a href="https://github.com/softprops/action-gh-release/commit/7d33a7ecc3254026091a1eb3023db3e4cfccb4e3"><code>7d33a7e</code></a> chore(deps): bump <code>@types/node</code> from 22.5.5 to 22.7.5 (<a href="https://redirect.github.com/softprops/action-gh-release/issues/525">#525</a>)</li> <li>Additional commits viewable in <a href="https://github.com/softprops/action-gh-release/compare/v1...v2">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
Bumps [raven-actions/actionlint](https://github.com/raven-actions/actionlint) from 1 to 2. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/raven-actions/actionlint/releases">raven-actions/actionlint's releases</a>.</em></p> <blockquote> <h2>v2.0.0</h2> <h2>🔄️ What's Changed</h2> <ul> <li>node20 support</li> <li>ci(linter): add workflow permissions <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/24">#24</a>)</li> <li>ci(deps): Bump actions/cache from 3 to 4 <a href="https://github.com/dependabot"><code>@dependabot</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/20">#20</a>)</li> </ul> <h2>🚀 Features</h2> <ul> <li>feat: switch to pipx & add github-token <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/23">#23</a>)</li> </ul> <h2>👥 Contributors</h2> <p><a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a>, <a href="https://github.com/dependabot"><code>@dependabot</code></a> and <a href="https://github.com/dependabot"><code>@dependabot</code></a>[bot]</p> <p>See details of all code changes: <a href="https://github.com/raven-actions/actionlint/compare/v1.0.3...v2.0.0">https://github.com/raven-actions/actionlint/compare/v1.0.3...v2.0.0</a> since previous release.</p> <h2>v1.0.3</h2> <h2>🔄️ What's Changed</h2> <ul> <li>chore: yamllint config and files lint <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/18">#18</a>)</li> <li>⬆️ github-actions(deps): Bump actions/github-script from 6 to 7 <a href="https://github.com/dependabot"><code>@dependabot</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/17">#17</a>)</li> <li>⬆️ github-actions(deps): bump actions/checkout from 3 to 4 <a href="https://github.com/dependabot"><code>@dependabot</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/12">#12</a>)</li> </ul> <h2>🚀 Features</h2> <ul> <li>Make yamllint happy <a href="https://github.com/bhundven"><code>@bhundven</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/16">#16</a>)</li> <li>Fix debian install shellcheck <a href="https://github.com/bhundven"><code>@bhundven</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/15">#15</a>)</li> </ul> <h2>🐛 Bug Fixes</h2> <ul> <li>fix: user flags parser <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/19">#19</a>)</li> <li>Fix debian install shellcheck <a href="https://github.com/bhundven"><code>@bhundven</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/15">#15</a>)</li> </ul> <h2>👥 Contributors</h2> <p><a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a>, <a href="https://github.com/bhundven"><code>@bhundven</code></a>, <a href="https://github.com/dependabot"><code>@dependabot</code></a> and <a href="https://github.com/dependabot"><code>@dependabot</code></a>[bot]</p> <p>See details of all code changes: <a href="https://github.com/raven-actions/actionlint/compare/v1.0.2...v1.0.3">https://github.com/raven-actions/actionlint/compare/v1.0.2...v1.0.3</a> since previous release.</p> <h2>v1.0.2</h2> <h2>🔄️ What's Changed</h2> <ul> <li>✨ feat(inputs): group-result <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/10">#10</a>)</li> <li>👷 chore(github): ci adjustments <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/9">#9</a>)</li> <li>👷 refactor(ci): change to debug action <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/7">#7</a>)</li> <li>📝 chore: minor docs and CI adjustments <a href="https://github.com/DariuszPorowski"><code>@DariuszPorowski</code></a> (<a href="https://redirect.github.com/raven-actions/actionlint/issues/6">#6</a>)</li> </ul> <h2>👥 Contributors</h2> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/raven-actions/actionlint/commit/01fce4f43a270a612932cb1c64d40505a029f821"><code>01fce4f</code></a> ci(linter): add workflow permissions (<a href="https://redirect.github.com/raven-actions/actionlint/issues/24">#24</a>)</li> <li><a href="https://github.com/raven-actions/actionlint/commit/a30be5376b9c8a5b493b09a88f4b2de2b5c4f062"><code>a30be53</code></a> feat: switch to pipx & add github-token (<a href="https://redirect.github.com/raven-actions/actionlint/issues/23">#23</a>)</li> <li><a href="https://github.com/raven-actions/actionlint/commit/ea4eb57846a36a6faefbdc2d9ac873da9057c1bb"><code>ea4eb57</code></a> ci(deps): Bump actions/cache from 3 to 4 (<a href="https://redirect.github.com/raven-actions/actionlint/issues/20">#20</a>)</li> <li>See full diff in <a href="https://github.com/raven-actions/actionlint/compare/v1...v2">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
Bumps [actions/stale](https://github.com/actions/stale) from 8 to 9. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/actions/stale/releases">actions/stale's releases</a>.</em></p> <blockquote> <h2>v9.0.0</h2> <h2>Breaking Changes</h2> <ol> <li>Action is now stateful: If the action ends because of <a href="https://github.com/actions/stale#operations-per-run">operations-per-run</a> then the next run will start from the first unprocessed issue skipping the issues processed during the previous run(s). The state is reset when all the issues are processed. This should be considered for scheduling workflow runs.</li> <li>Version 9 of this action updated the runtime to Node.js 20. All scripts are now run with Node.js 20 instead of Node.js 16 and are affected by any breaking changes between Node.js 16 and 20.</li> </ol> <h2>What Else Changed</h2> <ol> <li>Performance optimization that removes unnecessary API calls by <a href="https://github.com/dsame"><code>@dsame</code></a> <a href="https://redirect.github.com/actions/stale/pull/1033/">#1033</a> fixes <a href="https://redirect.github.com/actions/stale/issues/792">#792</a></li> <li>Logs displaying current github API rate limit by <a href="https://github.com/dsame"><code>@dsame</code></a> <a href="https://redirect.github.com/actions/stale/pull/1032">#1032</a> addresses <a href="https://redirect.github.com/actions/stale/issues/1029">#1029</a></li> </ol> <p>For more information, please read the <a href="https://github.com/actions/stale#readme">action documentation</a> and its <a href="https://github.com/actions/stale#statefulness">section about statefulness</a></p> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/jmeridth"><code>@jmeridth</code></a> made their first contribution in <a href="https://redirect.github.com/actions/stale/pull/984">actions/stale#984</a></li> <li><a href="https://github.com/nikolai-laevskii"><code>@nikolai-laevskii</code></a> made their first contribution in <a href="https://redirect.github.com/actions/stale/pull/1020">actions/stale#1020</a></li> <li><a href="https://github.com/dusan-trickovic"><code>@dusan-trickovic</code></a> made their first contribution in <a href="https://redirect.github.com/actions/stale/pull/1056">actions/stale#1056</a></li> <li><a href="https://github.com/aparnajyothi-y"><code>@aparnajyothi-y</code></a> made their first contribution in <a href="https://redirect.github.com/actions/stale/pull/1110">actions/stale#1110</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/actions/stale/compare/v8...v9.0.0">https://github.com/actions/stale/compare/v8...v9.0.0</a></p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/actions/stale/blob/main/CHANGELOG.md">actions/stale's changelog</a>.</em></p> <blockquote> <h1>Changelog</h1> <h1>[7.0.0]</h1> <p>:warning: Breaking change :warning:</p> <ul> <li>Allow daysBeforeStale options to be float by <a href="https://github.com/irega"><code>@irega</code></a> in <a href="https://redirect.github.com/actions/stale/pull/841">actions/stale#841</a></li> <li>Use cache in check-dist.yml by <a href="https://github.com/jongwooo"><code>@jongwooo</code></a> in <a href="https://redirect.github.com/actions/stale/pull/876">actions/stale#876</a></li> <li>fix print outputs step in existing workflows by <a href="https://github.com/irega"><code>@irega</code></a> in <a href="https://redirect.github.com/actions/stale/pull/859">actions/stale#859</a></li> <li>Update issue and PR templates, add/delete workflow files by <a href="https://github.com/IvanZosimov"><code>@IvanZosimov</code></a> in <a href="https://redirect.github.com/actions/stale/pull/880">actions/stale#880</a></li> <li>Update how stale handles exempt items by <a href="https://github.com/johnsudol"><code>@johnsudol</code></a> in <a href="https://redirect.github.com/actions/stale/pull/874">actions/stale#874</a></li> </ul> <h1>[6.0.1]</h1> <p>Update <code>@actions/core</code> to v1.10.0 (<a href="https://redirect.github.com/actions/stale/pull/839">#839</a>)</p> <h1>[6.0.0]</h1> <p>:warning: Breaking change :warning:</p> <p>Issues/PRs default <code>close-issue-reason</code> is now <code>not_planned</code>(<a href="https://redirect.github.com/actions/stale/issues/789">#789</a>)</p> <h1>[5.1.0]</h1> <p><a href="https://redirect.github.com/actions/stale/issues/696">Don't process stale issues right after they're marked stale</a> [Add close-issue-reason option]<a href="https://redirect.github.com/actions/stale/pull/764">#764</a><a href="https://redirect.github.com/actions/stale/pull/772">#772</a> Various dependabot/dependency updates</p> <h2><a href="https://github.com/actions/stale/compare/v3.0.19...v4.1.0">4.1.0</a> (2021-07-14)</h2> <h2>Features</h2> <ul> <li><a href="https://github.com/actions/stale/commit/9912fa74d1c01b5d6187793d97441019cbe325d0">Ability to exempt draft PRs</a></li> </ul> <h2><a href="https://github.com/actions/stale/compare/v3.0.19...v4.0.0">4.0.0</a> (2021-07-14)</h2> <h3>Features</h3> <ul> <li><strong>options:</strong> simplify config by removing skip stale message options (<a href="https://redirect.github.com/actions/stale/issues/457">#457</a>) (<a href="https://github.com/actions/stale/commit/6ec637d238067ab8cc96c9289dcdac280bbd3f4a">6ec637d</a>), closes <a href="https://redirect.github.com/actions/stale/issues/405">#405</a> <a href="https://redirect.github.com/actions/stale/issues/455">#455</a></li> <li><strong>output:</strong> print output parameters (<a href="https://redirect.github.com/actions/stale/issues/458">#458</a>) (<a href="https://github.com/actions/stale/commit/3e6d35b685f0b2fa1a69be893fa07d3d85e05ee0">3e6d35b</a>)</li> </ul> <h3>Bug Fixes</h3> <ul> <li><strong>dry-run:</strong> forbid mutations in dry-run (<a href="https://redirect.github.com/actions/stale/issues/500">#500</a>) (<a href="https://github.com/actions/stale/commit/f1017f33dd159ea51366375120c3e6981d7c3097">f1017f3</a>), closes <a href="https://redirect.github.com/actions/stale/issues/499">#499</a></li> <li><strong>logs:</strong> coloured logs (<a href="https://redirect.github.com/actions/stale/issues/465">#465</a>) (<a href="https://github.com/actions/stale/commit/5fbbfba142860ea6512549e96e36e3540c314132">5fbbfba</a>)</li> <li><strong>operations:</strong> fail fast the current batch to respect the operations limit (<a href="https://redirect.github.com/actions/stale/issues/474">#474</a>) (<a href="https://github.com/actions/stale/commit/5f6f311ca6aa75babadfc7bac6edf5d85fa3f35d">5f6f311</a>), closes <a href="https://redirect.github.com/actions/stale/issues/466">#466</a></li> <li><strong>label comparison</strong>: make label comparison case insensitive <a href="https://redirect.github.com/actions/stale/pull/517">#517</a>, closes <a href="https://redirect.github.com/actions/stale/pull/516">#516</a></li> <li><strong>filtering comments by actor could have strange behavior</strong>: "stale" comments are now detected based on if the message is the stale message not <em>who</em> made the comment(<a href="https://redirect.github.com/actions/stale/pull/519">#519</a>), fixes <a href="https://redirect.github.com/actions/stale/pull/441">#441</a>, <a href="https://redirect.github.com/actions/stale/pull/509">#509</a>, <a href="https://redirect.github.com/actions/stale/pull/518">#518</a></li> </ul> <h3>Breaking Changes</h3> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/actions/stale/commit/28ca1036281a5e5922ead5184a1bbf96e5fc984e"><code>28ca103</code></a> Upgrade Node to v20 (<a href="https://redirect.github.com/actions/stale/issues/1110">#1110</a>)</li> <li><a href="https://github.com/actions/stale/commit/b69b346013879cedbf50c69f572cd85439a41936"><code>b69b346</code></a> build(deps-dev): bump <code>@types/node</code> from 18.16.18 to 20.5.1 (<a href="https://redirect.github.com/actions/stale/issues/1079">#1079</a>)</li> <li><a href="https://github.com/actions/stale/commit/88a6f4f6cbe6984b66da80d3d448d5f0c4d1a42d"><code>88a6f4f</code></a> build(deps-dev): bump typescript from 5.1.3 to 5.2.2 (<a href="https://redirect.github.com/actions/stale/issues/1083">#1083</a>)</li> <li><a href="https://github.com/actions/stale/commit/796531a7b39835671cd9f436d7205b1556bbcff6"><code>796531a</code></a> Merge pull request <a href="https://redirect.github.com/actions/stale/issues/1080">#1080</a> from akv-platform/fix-delete-cache</li> <li><a href="https://github.com/actions/stale/commit/8986f6218b4935e254d5b844e8c36b4d953f2643"><code>8986f62</code></a> Don not try to delete cache if it does not exists</li> <li><a href="https://github.com/actions/stale/commit/cab99b362baa5afbbd8c7c78234e6b071b80687d"><code>cab99b3</code></a> fix typo proceeded/processed</li> <li><a href="https://github.com/actions/stale/commit/184e7afe930f6b5c7ce52c4b3f087692c6e912f3"><code>184e7af</code></a> Merge pull request <a href="https://redirect.github.com/actions/stale/issues/1064">#1064</a> from actions/dependabot/npm_and_yarn/typescript-esli...</li> <li><a href="https://github.com/actions/stale/commit/523885cf3c115dcdcbed573c7eaf0f5621f124e2"><code>523885c</code></a> chore: update eslint-plugin, parser and eslint-plugin-jest</li> <li><a href="https://github.com/actions/stale/commit/2487a1dc2b501176ca975d2d8b4d3293d72180a2"><code>2487a1d</code></a> build(deps-dev): bump <code>@typescript-eslint/eslint-plugin</code></li> <li><a href="https://github.com/actions/stale/commit/60c722ee97faafece819a7c41b03ec113f99717d"><code>60c722e</code></a> Merge pull request <a href="https://redirect.github.com/actions/stale/issues/1063">#1063</a> from actions/dependabot/npm_and_yarn/jest-29.6.2</li> <li>Additional commits viewable in <a href="https://github.com/actions/stale/compare/v8...v9">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
…over#5959) Bumps [lycheeverse/lychee-action](https://github.com/lycheeverse/lychee-action) from 1.9.0 to 2.0.2. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/lycheeverse/lychee-action/releases">lycheeverse/lychee-action's releases</a>.</em></p> <blockquote> <h2>Version 2.0.2</h2> <h2>What's Changed</h2> <ul> <li>Fix a typos by <a href="https://github.com/szepeviktor"><code>@szepeviktor</code></a> in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/257">lycheeverse/lychee-action#257</a></li> <li>Document and use correct permissions in the GitHub workflows by <a href="https://github.com/dscho"><code>@dscho</code></a> in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/258">lycheeverse/lychee-action#258</a></li> <li>Add security policy by <a href="https://github.com/mondeja"><code>@mondeja</code></a> in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/259">lycheeverse/lychee-action#259</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/szepeviktor"><code>@szepeviktor</code></a> made their first contribution in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/257">lycheeverse/lychee-action#257</a></li> <li><a href="https://github.com/mondeja"><code>@mondeja</code></a> made their first contribution in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/259">lycheeverse/lychee-action#259</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/lycheeverse/lychee-action/compare/v2...v2.0.2">https://github.com/lycheeverse/lychee-action/compare/v2...v2.0.2</a></p> <h2>Version 2.0.1</h2> <h2>What's Changed</h2> <ul> <li>Don't remove the lychee config file by <a href="https://github.com/dmathieu"><code>@dmathieu</code></a> in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/255">lycheeverse/lychee-action#255</a></li> <li>Bump lycheeverse/lychee-action from 1 to 2 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/252">lycheeverse/lychee-action#252</a></li> <li>Fix variable name in docs by <a href="https://github.com/kdeldycke"><code>@kdeldycke</code></a> in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/253">lycheeverse/lychee-action#253</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/dmathieu"><code>@dmathieu</code></a> made their first contribution in <a href="https://redirect.github.com/lycheeverse/lychee-action/pull/255">lycheeverse/lychee-action#255</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/lycheeverse/lychee-action/compare/v2...v2.0.1">https://github.com/lycheeverse/lychee-action/compare/v2...v2.0.1</a></p> <h2>Version 2.0.0</h2> <h2>Breaking Changes</h2> <p><strong>Note:</strong> This release improves the action's robustness by changing default behaviors. Changes are only required if you want to opt out of the new failure conditions. Most users won't need to modify their existing configurations.</p> <h3>Fail pipeline on error by default</h3> <p>We've changed the default behavior: pipelines will now fail on broken links automatically. This addresses user feedback that not failing on broken links was unexpected (see [issue <a href="https://redirect.github.com/lycheeverse/lychee-action/issues/71">#71</a>](<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/71">lycheeverse/lychee-action#71</a>)).</p> <p><strong>What you need to do:</strong></p> <ul> <li>Update to version 2 of this action to apply this change.</li> <li>Users of the <code>lychee-action@master</code> branch don't need to make any changes, as <code>fail: true</code> has been the default there for a while.</li> <li>If you prefer the old behavior, explicitly set <code>fail</code> to <code>false</code> when updating:</li> </ul> <pre lang="yaml"><code>- name: Link Checker id: lychee uses: lycheeverse/lychee-action@v2 with: fail: false # Don't fail action on broken links </code></pre> <h3>Fail pipeline if no links were found</h3> <p>Similar to the above change, we now fail the pipeline if no links are found during a run. This helps warn users about potential configuration issues.</p> <p><strong>What you need to do:</strong></p> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/lycheeverse/lychee-action/commit/7cd0af4c74a61395d455af97419279d86aafaede"><code>7cd0af4</code></a> Merge commit from fork</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/8ad54d3568ac3176a9fb57a0233cf04410b55cde"><code>8ad54d3</code></a> fix link</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/762333c18963fc10db515e32000e2e4dbcb11f5f"><code>762333c</code></a> Create SECURITY.md (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/259">#259</a>)</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/71a38a3bd757f6306a6c14206219391d4e5807ed"><code>71a38a3</code></a> Document and use correct permissions in the GitHub workflows (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/258">#258</a>)</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/f141760066406690a7f54a23762e3d146ea0d721"><code>f141760</code></a> Fix a typos (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/257">#257</a>)</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/2bb232618be239862e31382c5c0eaeba12e5e966"><code>2bb2326</code></a> don't remove the lychee config file (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/255">#255</a>)</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/731bf1a2affebd80fab6515ba61d2648a76929a4"><code>731bf1a</code></a> Fix variable name (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/253">#253</a>)</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/e360f3c89142a5391e094404ea45e5494f1317dd"><code>e360f3c</code></a> Bump lycheeverse/lychee-action from 1 to 2 (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/252">#252</a>)</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/f87f0a62993c2647717456af92593666acb3a500"><code>f87f0a6</code></a> Update version to <code>lycheeverse/lychee-action@v2</code> in docs</li> <li><a href="https://github.com/lycheeverse/lychee-action/commit/7da8ec1fc4e01b5a12062ac6c589c10a4ce70d67"><code>7da8ec1</code></a> Test latest lychee version tag (<a href="https://redirect.github.com/lycheeverse/lychee-action/issues/236">#236</a>)</li> <li>Additional commits viewable in <a href="https://github.com/lycheeverse/lychee-action/compare/v1.9.0...v2.0.2">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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> Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>
Bumps [actions/github-script](https://github.com/actions/github-script) from 6 to 7. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/actions/github-script/releases">actions/github-script's releases</a>.</em></p> <blockquote> <h2>v7.0.0</h2> <h2>What's Changed</h2> <ul> <li>Add base-url option by <a href="https://github.com/robandpdx"><code>@robandpdx</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/429">actions/github-script#429</a></li> <li>Expose async-function argument type by <a href="https://github.com/viktorlott"><code>@viktorlott</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/402">actions/github-script#402</a>, see for details <a href="https://github.com/actions/github-script#use-scripts-with-jsdoc-support">https://github.com/actions/github-script#use-scripts-with-jsdoc-support</a></li> <li>Update dependencies and use Node 20 by <a href="https://github.com/joshmgross"><code>@joshmgross</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/425">actions/github-script#425</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/navarroaxel"><code>@navarroaxel</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/285">actions/github-script#285</a></li> <li><a href="https://github.com/robandpdx"><code>@robandpdx</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/429">actions/github-script#429</a></li> <li><a href="https://github.com/viktorlott"><code>@viktorlott</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/402">actions/github-script#402</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/actions/github-script/compare/v6.4.1...v7.0.0">https://github.com/actions/github-script/compare/v6.4.1...v7.0.0</a></p> <h2>v6.4.1</h2> <h2>What's Changed</h2> <ul> <li>Add <code>@octokit/plugin-request-log</code>, to produce debug output for requests by <a href="https://github.com/mjpieters"><code>@mjpieters</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/358">actions/github-script#358</a></li> <li>fix input handling by <a href="https://github.com/mjpieters"><code>@mjpieters</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/357">actions/github-script#357</a></li> <li>Remove unused dependencies by <a href="https://github.com/mjpieters"><code>@mjpieters</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/356">actions/github-script#356</a></li> <li>Default debug to current runner debug state by <a href="https://github.com/mjpieters"><code>@mjpieters</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/363">actions/github-script#363</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/mjpieters"><code>@mjpieters</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/358">actions/github-script#358</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/actions/github-script/compare/v6.4.0...v6.4.1">https://github.com/actions/github-script/compare/v6.4.0...v6.4.1</a></p> <h2>v6.4.0</h2> <h2>What's Changed</h2> <ul> <li>Bump json5 from 2.1.3 to 2.2.3 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/319">actions/github-script#319</a></li> <li>Bump minimatch from 3.0.4 to 3.1.2 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/320">actions/github-script#320</a></li> <li>Add node-fetch by <a href="https://github.com/danmichaelo"><code>@danmichaelo</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/321">actions/github-script#321</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/jongwooo"><code>@jongwooo</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/313">actions/github-script#313</a></li> <li><a href="https://github.com/austinvazquez"><code>@austinvazquez</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/306">actions/github-script#306</a></li> <li><a href="https://github.com/danmichaelo"><code>@danmichaelo</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/321">actions/github-script#321</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/actions/github-script/compare/v6.3.3...v6.4.0">https://github.com/actions/github-script/compare/v6.3.3...v6.4.0</a></p> <h2>v6.3.3</h2> <h2>What's Changed</h2> <ul> <li>Update <code>@actions/glob</code> to 0.3.0 by <a href="https://github.com/nineinchnick"><code>@nineinchnick</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/279">actions/github-script#279</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/nineinchnick"><code>@nineinchnick</code></a> made their first contribution in <a href="https://redirect.github.com/actions/github-script/pull/279">actions/github-script#279</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/actions/github-script/compare/v6.3.2...v6.3.3">https://github.com/actions/github-script/compare/v6.3.2...v6.3.3</a></p> <h2>v6.3.2</h2> <h2>What's Changed</h2> <ul> <li>Update <code>@actions/core</code> to 1.10.0 by <a href="https://github.com/rentziass"><code>@rentziass</code></a> in <a href="https://redirect.github.com/actions/github-script/pull/295">actions/github-script#295</a></li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/actions/github-script/commit/60a0d83039c74a4aee543508d2ffcb1c3799cdea"><code>60a0d83</code></a> Merge pull request <a href="https://redirect.github.com/actions/github-script/issues/440">#440</a> from actions/joshmgross/v7.0.1</li> <li><a href="https://github.com/actions/github-script/commit/b7fb2001b410c9390cbe9e2c7d5cab7eefb7b29c"><code>b7fb200</code></a> Update version to 7.0.1</li> <li><a href="https://github.com/actions/github-script/commit/12e22ed06b6cf302663f90a925045516e24c8bad"><code>12e22ed</code></a> Merge pull request <a href="https://redirect.github.com/actions/github-script/issues/439">#439</a> from actions/joshmgross/avoid-setting-base-url</li> <li><a href="https://github.com/actions/github-script/commit/d319f8f5b55ea40916b869b2ca9ae2f059c60abf"><code>d319f8f</code></a> Avoid setting <code>baseUrl</code> to undefined when input is not provided</li> <li><a href="https://github.com/actions/github-script/commit/e69ef5462fd455e02edcaf4dd7708eda96b9eda0"><code>e69ef54</code></a> Merge pull request <a href="https://redirect.github.com/actions/github-script/issues/425">#425</a> from actions/joshmgross/node-20</li> <li><a href="https://github.com/actions/github-script/commit/ee0914b839b704083a749f8c77a73a9270674a32"><code>ee0914b</code></a> Update licenses</li> <li><a href="https://github.com/actions/github-script/commit/d6fc56f33b017d55917d045da1a94efa2120f039"><code>d6fc56f</code></a> Use <code>@types/node</code> for Node 20</li> <li><a href="https://github.com/actions/github-script/commit/384d6cf581452587d1e31f553c97ab165427124a"><code>384d6cf</code></a> Fix quotations in tests</li> <li><a href="https://github.com/actions/github-script/commit/84724927e3e992f17768c17f57a47a85ea2a5160"><code>8472492</code></a> Only validate GraphQL <code>previews</code></li> <li><a href="https://github.com/actions/github-script/commit/84903f51828821af5d03d3884c6ba699a2d44d6e"><code>84903f5</code></a> Remove <code>node-fetch</code> from type</li> <li>Additional commits viewable in <a href="https://github.com/actions/github-script/compare/v6...v7">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
…ver#5964) Bumps [dawidd6/action-download-artifact](https://github.com/dawidd6/action-download-artifact) from 2 to 6. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/dawidd6/action-download-artifact/releases">dawidd6/action-download-artifact's releases</a>.</em></p> <blockquote> <h2>v6</h2> <p><strong>Full Changelog</strong>: <a href="https://github.com/dawidd6/action-download-artifact/compare/v5...v6">https://github.com/dawidd6/action-download-artifact/compare/v5...v6</a></p> <h2>v5</h2> <p><strong>Full Changelog</strong>: <a href="https://github.com/dawidd6/action-download-artifact/compare/v4...v5">https://github.com/dawidd6/action-download-artifact/compare/v4...v5</a></p> <h2>v4</h2> <h2>What's Changed</h2> <ul> <li><strong>VERSIONING CHANGE</strong>: now there will only be major releases of this action, e.g. v5, v6 and so on</li> <li>build(deps): bump undici from 5.28.3 to 5.28.4 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/284">dawidd6/action-download-artifact#284</a></li> <li>build(deps): bump <code>@actions/artifact</code> from 2.1.4 to 2.1.5 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/285">dawidd6/action-download-artifact#285</a></li> <li>build(deps): bump <code>@actions/artifact</code> from 2.1.5 to 2.1.7 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/287">dawidd6/action-download-artifact#287</a></li> <li>build(deps): bump adm-zip from 0.5.12 to 0.5.13 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/289">dawidd6/action-download-artifact#289</a></li> <li>Set allow_forks to false by default by <a href="https://github.com/timweri"><code>@timweri</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/290">dawidd6/action-download-artifact#290</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/timweri"><code>@timweri</code></a> made their first contribution in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/290">dawidd6/action-download-artifact#290</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dawidd6/action-download-artifact/compare/v3...v4">https://github.com/dawidd6/action-download-artifact/compare/v3...v4</a></p> <h2>v3.1.4</h2> <h2>What's Changed</h2> <ul> <li>build(deps): bump adm-zip from 0.5.10 to 0.5.12 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/282">dawidd6/action-download-artifact#282</a></li> <li>build(deps): bump <code>@actions/artifact</code> from 2.1.2 to 2.1.4 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/280">dawidd6/action-download-artifact#280</a></li> <li>fix: accept expired artifacts with documentation url by <a href="https://github.com/wdconinc"><code>@wdconinc</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/283">dawidd6/action-download-artifact#283</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/wdconinc"><code>@wdconinc</code></a> made their first contribution in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/283">dawidd6/action-download-artifact#283</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dawidd6/action-download-artifact/compare/v3...v3.1.4">https://github.com/dawidd6/action-download-artifact/compare/v3...v3.1.4</a></p> <h2>v3.1.3</h2> <h2>What's Changed</h2> <ul> <li>node_modules: upgrade by <a href="https://github.com/dawidd6"><code>@dawidd6</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/276">dawidd6/action-download-artifact#276</a></li> <li>build(deps): bump <code>@actions/artifact</code> from 2.1.1 to 2.1.2 by <a href="https://github.com/dependabot"><code>@dependabot</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/277">dawidd6/action-download-artifact#277</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dawidd6/action-download-artifact/compare/v3.1.2...v3.1.3">https://github.com/dawidd6/action-download-artifact/compare/v3.1.2...v3.1.3</a></p> <h2>v3.1.2</h2> <h2>What's Changed</h2> <ul> <li>Read workflow_search input as a boolean by <a href="https://github.com/klutchell"><code>@klutchell</code></a> in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/273">dawidd6/action-download-artifact#273</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/klutchell"><code>@klutchell</code></a> made their first contribution in <a href="https://redirect.github.com/dawidd6/action-download-artifact/pull/273">dawidd6/action-download-artifact#273</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dawidd6/action-download-artifact/compare/v3.1.1...v3.1.2">https://github.com/dawidd6/action-download-artifact/compare/v3.1.1...v3.1.2</a></p> <h2>v3.1.1</h2> <h2>What's Changed</h2> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/bf251b5aa9c2f7eeb574a96ee720e24f801b7c11"><code>bf251b5</code></a> node_modules: upgrade</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/93c629661111aae296c04004b30ae3ba22ed46f3"><code>93c6296</code></a> README: v5</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/deb3bb83256a78589fef6a7b942e5f2573ad7c13"><code>deb3bb8</code></a> node_modules: upgrade</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/1d93f37db2a8005b41437c75a4793d52e664d858"><code>1d93f37</code></a> README: v4</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/854e2de9396304899dbe03bf9995fd73533190d1"><code>854e2de</code></a> Set allow_forks to false by default (<a href="https://redirect.github.com/dawidd6/action-download-artifact/issues/290">#290</a>)</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/436c9d3774019b3e2789d7332e9c4efdba3d9d79"><code>436c9d3</code></a> build(deps): bump adm-zip from 0.5.12 to 0.5.13 (<a href="https://redirect.github.com/dawidd6/action-download-artifact/issues/289">#289</a>)</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/14040524bb7e51dee9683e2e755e0d562621a1d5"><code>1404052</code></a> build(deps): bump <code>@actions/artifact</code> from 2.1.5 to 2.1.7 (<a href="https://redirect.github.com/dawidd6/action-download-artifact/issues/287">#287</a>)</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/8a9be734dc508dcf8d67c27ba3f727b0d682ccb0"><code>8a9be73</code></a> build(deps): bump <code>@actions/artifact</code> from 2.1.4 to 2.1.5 (<a href="https://redirect.github.com/dawidd6/action-download-artifact/issues/285">#285</a>)</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/df593bbd0462b45b479f042d043c3aa47fe1c483"><code>df593bb</code></a> build(deps): bump undici from 5.28.3 to 5.28.4 (<a href="https://redirect.github.com/dawidd6/action-download-artifact/issues/284">#284</a>)</li> <li><a href="https://github.com/dawidd6/action-download-artifact/commit/09f2f74827fd3a8607589e5ad7f9398816f540fe"><code>09f2f74</code></a> fix: accept expired artifacts with documentation url (<a href="https://redirect.github.com/dawidd6/action-download-artifact/issues/283">#283</a>)</li> <li>Additional commits viewable in <a href="https://github.com/dawidd6/action-download-artifact/compare/v2...v6">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
…rover#5965) Bumps [dcarbone/install-jq-action](https://github.com/dcarbone/install-jq-action) from 1.0.1 to 2.1.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/dcarbone/install-jq-action/releases">dcarbone/install-jq-action's releases</a>.</em></p> <blockquote> <h2>v2.1.0</h2> <h2>What's Changed</h2> <ul> <li>Support running action inside containers by <a href="https://github.com/TaxBusby"><code>@TaxBusby</code></a> in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/10">dcarbone/install-jq-action#10</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/TaxBusby"><code>@TaxBusby</code></a> made their first contribution in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/10">dcarbone/install-jq-action#10</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dcarbone/install-jq-action/compare/v2.0.2...v2.1.0">https://github.com/dcarbone/install-jq-action/compare/v2.0.2...v2.1.0</a></p> <h2>v2.0.2</h2> <h2>What's Changed</h2> <ul> <li>use curl instead of wget to avoid download failure on macOS by <a href="https://github.com/vaidyakhil"><code>@vaidyakhil</code></a> in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/8">dcarbone/install-jq-action#8</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/vaidyakhil"><code>@vaidyakhil</code></a> made their first contribution in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/8">dcarbone/install-jq-action#8</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dcarbone/install-jq-action/compare/v2.0.1...v2.0.2">https://github.com/dcarbone/install-jq-action/compare/v2.0.1...v2.0.2</a></p> <h2>v2.0.1</h2> <h2>What's Changed</h2> <ul> <li>using macos as dl link os prefix in lieu of osx by <a href="https://github.com/dcarbone"><code>@dcarbone</code></a> in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/7">dcarbone/install-jq-action#7</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dcarbone/install-jq-action/compare/v2.0.0...v2.0.1">https://github.com/dcarbone/install-jq-action/compare/v2.0.0...v2.0.1</a></p> <h2>v2.0.0</h2> <h2>What's Changed</h2> <ul> <li>quick & dirty 1.7 support by <a href="https://github.com/dcarbone"><code>@dcarbone</code></a> in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/4">dcarbone/install-jq-action#4</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/dcarbone"><code>@dcarbone</code></a> made their first contribution in <a href="https://redirect.github.com/dcarbone/install-jq-action/pull/4">dcarbone/install-jq-action#4</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/dcarbone/install-jq-action/compare/v1.0.1...v2.0.0">https://github.com/dcarbone/install-jq-action/compare/v1.0.1...v2.0.0</a></p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/dcarbone/install-jq-action/commit/8867ddb4788346d7c22b72ea2e2ffe4d514c7bcb"><code>8867ddb</code></a> remove windows gubbins from container tests</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/945d84920f49005d302133bd26aac72508ddb594"><code>945d849</code></a> Support running action inside containers (<a href="https://redirect.github.com/dcarbone/install-jq-action/issues/10">#10</a>)</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/1090b8bd111c736fbfe29b686e64f4bec7b5caa6"><code>1090b8b</code></a> use curl instead of wget to fix failure on macOS runners (<a href="https://redirect.github.com/dcarbone/install-jq-action/issues/8">#8</a>)</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/ff922c75b74696f8f0f972552489b12cef5c7e54"><code>ff922c7</code></a> Update example-windows.yaml</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/7f4d6f48333c86b71f6ab8045ede6570b4b373bc"><code>7f4d6f4</code></a> Update example-macos.yaml</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/bfb9fa8e7db9ca67d6f1a3759a9a2989fe21a80d"><code>bfb9fa8</code></a> Update example-linux.yaml</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/c1548c666da8422e8207a67fae0df364cf9ee7fe"><code>c1548c6</code></a> using macos as dl link os prefix in lieu of osx (<a href="https://redirect.github.com/dcarbone/install-jq-action/issues/7">#7</a>)</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/f07422da1ec63e6667e11e78b00c847b4dfc932c"><code>f07422d</code></a> fixing version</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/183bc8df0ea4f71c3f9cf0903763617964bc4e45"><code>183bc8d</code></a> trying without stupid</li> <li><a href="https://github.com/dcarbone/install-jq-action/commit/f6b58bacfeb1d7bec7a47293e3d2b805acf85d4e"><code>f6b58ba</code></a> its late.</li> <li>Additional commits viewable in <a href="https://github.com/dcarbone/install-jq-action/compare/v1.0.1...v2.1.0">compare view</a></li> </ul> </details> <br /> [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <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 <dependency name> 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>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Temp PR for testing LLVM failure