dependabot[bot]
4bb8d37e37
chore: CI: bump dcarbone/install-jq-action from 3.0.1 to 3.1.1 ( #7780 )
...
Bumps
[dcarbone/install-jq-action](https://github.com/dcarbone/install-jq-action )
from 3.0.1 to 3.1.1.
<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>v3.1.1</h2>
<h2>What's Changed</h2>
<ul>
<li>1.7.1 for windows and some small cleanup by <a
href="https://github.com/dcarbone "><code>@dcarbone</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/17 ">dcarbone/install-jq-action#17</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dcarbone/install-jq-action/compare/v3...v3.1.1 ">https://github.com/dcarbone/install-jq-action/compare/v3...v3.1.1 </a></p>
<h2>v3.1.0</h2>
<h2>What's Changed</h2>
<ul>
<li>bumping default to jq 1.7.1 by <a
href="https://github.com/dcarbone "><code>@dcarbone</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/16 ">dcarbone/install-jq-action#16</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dcarbone/install-jq-action/compare/v3...v3.1.0 ">https://github.com/dcarbone/install-jq-action/compare/v3...v3.1.0 </a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="f0e10f46ffhttps://redirect.github.com/dcarbone/install-jq-action/issues/17 ">#17</a>)</li>
<li><a
href="8f16b8ad5b26514abd654e6d52de30https://redirect.github.com/dcarbone/install-jq-action/issues/16 ">#16</a>)</li>
<li><a
href="8fd607321dhttps://github.com/dcarbone/install-jq-action/compare/v3.0.1...v3.1.1 ">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>
2025-04-08 12:12:52 +00:00
Sebastian Ullrich
f4b54a2b18
chore: introduce reldebug preset, replace debug CI job with it ( #7836 )
2025-04-06 17:18:23 +00:00
Kim Morrison
da55b2e19b
chore: updates to release_checklist.md ( #7817 )
...
This PR updates `release_checklist.md`, reflecting current practice and
automation.
2025-04-04 03:45:36 +00:00
Sebastian Ullrich
314f6c73b7
chore: remove ctest timeout pending further testing
2025-04-03 14:05:07 +02:00
Sebastian Ullrich
33e456dd3c
chore: CI: improve ccache ( #7643 )
2025-04-02 13:18:42 +00:00
Sebastian Ullrich
5ebac3fa50
perf: use mimalloc by default ( #7710 )
...
This PR improves memory use of Lean, especially for longer-running
server processes, by up to 60%
2025-03-30 22:40:41 +00:00
Sebastian Ullrich
c768b83542
chore: CI: exclude problematic Linux Lake test
2025-03-25 16:43:55 +01:00
Sebastian Ullrich
d57cbdfb95
chore: CI: bring back coredump tracing ( #7625 )
2025-03-21 15:25:45 +00:00
Sebastian Ullrich
501bd64a89
chore: CI: avoid empty matrix error ( #7620 )
2025-03-21 13:30:58 +00:00
Joachim Breitner
bd01461b5f
chore: run awaiting-mathlib.yml on more events ( #7621 )
...
so that we can make it a required check
2025-03-21 11:37:35 +00:00
Sebastian Ullrich
edbb84d23b
chore: CI: USE_LAKE secondary build job ( #7505 )
...
As preparation for the module system, and in hopes it will be faster
than and replace the Nix CI. Secondary build jobs do not block merging.
Also makes macOS aarch64 a secondary build job on the PR level, where it
is the current bottleneck.
---------
Co-authored-by: Mac Malone <tydeu@hatpress.net>
2025-03-20 12:16:53 +00:00
Sebastian Ullrich
756fd66745
chore: CI: relax check-stage0 check
2025-03-20 13:16:43 +01:00
Henrik Böving
ce614bd830
chore: don't run MacOS aarch64 in merge queue ( #7439 )
...
This PR skips running MacOS aarch64 CI in merge queue but leaves it
enabled in PR and release CI.
2025-03-11 14:35:10 +00:00
Sebastian Ullrich
060e137599
chore: enforce awaiting-mathlib label ( #7342 )
2025-03-10 09:27:43 +00:00
Kim Morrison
5536281238
feat: force-mathlib-ci label ( #7337 )
...
This PR adds support for a `force-mathlib-ci` label, which attempts full
Mathlib CI even if the PR branch is not based off the
`nightly-with-mathlib` branch, or if the relevant
`nightly-testing-YYYY-MM-DD` branch is not present at Batteries or
Mathlib.
2025-03-05 06:36:38 +00:00
dependabot[bot]
c4d3a74f32
chore: CI: bump dawidd6/action-download-artifact from 8 to 9 ( #7285 )
...
Bumps
[dawidd6/action-download-artifact](https://github.com/dawidd6/action-download-artifact )
from 8 to 9.
<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>v9</h2>
<h2>What's Changed</h2>
<ul>
<li>add merge_multiple option by <a
href="https://github.com/timostroehlein "><code>@timostroehlein</code></a>
in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/327 ">dawidd6/action-download-artifact#327</a></li>
</ul>
<h2>New Contributors</h2>
<ul>
<li><a
href="https://github.com/timostroehlein "><code>@timostroehlein</code></a>
made their first contribution in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/327 ">dawidd6/action-download-artifact#327</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dawidd6/action-download-artifact/compare/v8...v9 ">https://github.com/dawidd6/action-download-artifact/compare/v8...v9 </a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="07ab29fd4ahttps://redirect.github.com/dawidd6/action-download-artifact/issues/327 ">#327</a>)</li>
<li>See full diff in <a
href="https://github.com/dawidd6/action-download-artifact/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>
2025-03-01 20:47:28 +00:00
Sebastian Ullrich
07b0e5b7fe
chore: compile against glibc 2.26 ( #7037 )
...
This PR relaxes the minimum required glibc version for Lean and Lean
executables to 2.26 on x86-64 Linux
2025-02-12 09:29:51 +00:00
Sebastian Ullrich
0d1907c1df
feat: parallel progress notifications ( #6329 )
...
This PR enables the language server to present multiple disjoint line
ranges as being worked on. Even before parallelism lands, we make use of
this feature to show post-elaboration tasks such as kernel checking on
the first line of a declaration to distinguish them from the final
tactic step.
2025-02-07 16:50:31 +00:00
dependabot[bot]
baeb325611
chore: CI: bump dawidd6/action-download-artifact from 7 to 8 ( #6903 )
...
Bumps
[dawidd6/action-download-artifact](https://github.com/dawidd6/action-download-artifact )
from 7 to 8.
<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>v8</h2>
<h2>New features</h2>
<ul>
<li><code>use_unzip</code> boolean input (defaulting to false) - if set
to true, the action will use system provided <code>unzip</code> utility
for unpacking downloaded artifact(s) (note that the action will first
download the .zip artifact file, then unpack it and remove the .zip
file)</li>
</ul>
<h2>What's Changed</h2>
<ul>
<li>README: v7 by <a
href="https://github.com/haines "><code>@haines</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/318 ">dawidd6/action-download-artifact#318</a></li>
<li>Unzip by <a
href="https://github.com/dawidd6 "><code>@dawidd6</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/325 ">dawidd6/action-download-artifact#325</a></li>
</ul>
<h2>New Contributors</h2>
<ul>
<li><a href="https://github.com/haines "><code>@haines</code></a> made
their first contribution in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/318 ">dawidd6/action-download-artifact#318</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dawidd6/action-download-artifact/compare/v7...v8 ">https://github.com/dawidd6/action-download-artifact/compare/v7...v8 </a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="20319c5641e58a9e5d14https://redirect.github.com/dawidd6/action-download-artifact/issues/325 ">#325</a>)</li>
<li><a
href="6d05268723c03fb0c928https://redirect.github.com/dawidd6/action-download-artifact/issues/318 ">#318</a>)</li>
<li>See full diff in <a
href="https://github.com/dawidd6/action-download-artifact/compare/v7...v8 ">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>
2025-02-04 10:41:44 +00:00
Henrik Böving
e9bd9807ef
fix: Windows stage0 linking ( #6622 )
...
This PR fixes stage0 linking on Windows against winsock.
---------
Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>
2025-01-14 09:09:50 +01:00
Kim Morrison
9a53c88ecf
chore: temporarily disable Web Assembly build in CI ( #6424 )
2024-12-20 08:58:10 +00:00
Mac Malone
d9d54c1f99
chore: lake: use & check prelude ( #6289 )
...
This PR adapts Lake modules to use `prelude` and includes them in the
`check-prelude` CI.
2024-12-02 19:55:05 +00:00
dependabot[bot]
3c348d4526
chore: CI: bump dawidd6/action-download-artifact from 6 to 7 ( #6274 )
...
Bumps
[dawidd6/action-download-artifact](https://github.com/dawidd6/action-download-artifact )
from 6 to 7.
<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>v7</h2>
<h2>What's Changed</h2>
<ul>
<li>build(deps): bump fast-xml-parser from 4.4.0 to 4.4.1 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/299 ">dawidd6/action-download-artifact#299</a></li>
<li>build(deps): bump <code>@actions/artifact</code> from 2.1.7 to
2.1.9 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/300 ">dawidd6/action-download-artifact#300</a></li>
<li>build(deps): bump adm-zip from 0.5.14 to 0.5.15 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/301 ">dawidd6/action-download-artifact#301</a></li>
<li>build(deps): bump adm-zip from 0.5.15 to 0.5.16 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/306 ">dawidd6/action-download-artifact#306</a></li>
<li>build(deps): bump path-to-regexp from 6.2.2 to 6.3.0 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/307 ">dawidd6/action-download-artifact#307</a></li>
<li>build(deps): bump <code>@actions/artifact</code> from 2.1.9 to
2.1.10 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/311 ">dawidd6/action-download-artifact#311</a></li>
<li>build(deps): bump <code>@actions/core</code> from 1.10.1 to 1.11.0
by <a href="https://github.com/dependabot "><code>@dependabot</code></a>
in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/310 ">dawidd6/action-download-artifact#310</a></li>
<li>build(deps): bump <code>@actions/core</code> from 1.11.0 to 1.11.1
by <a href="https://github.com/dependabot "><code>@dependabot</code></a>
in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/312 ">dawidd6/action-download-artifact#312</a></li>
<li>build(deps): bump <code>@actions/artifact</code> from 2.1.10 to
2.1.11 by <a
href="https://github.com/dependabot "><code>@dependabot</code></a> in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/313 ">dawidd6/action-download-artifact#313</a></li>
<li>build(deps): Fix cross-spawn >=7.0.0 <= 7.0.5 vulnerability by
<a href="https://github.com/alexcouret "><code>@alexcouret</code></a> in
<a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/317 ">dawidd6/action-download-artifact#317</a></li>
</ul>
<h2>New Contributors</h2>
<ul>
<li><a
href="https://github.com/alexcouret "><code>@alexcouret</code></a> made
their first contribution in <a
href="https://redirect.github.com/dawidd6/action-download-artifact/pull/317 ">dawidd6/action-download-artifact#317</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dawidd6/action-download-artifact/compare/v6...v7 ">https://github.com/dawidd6/action-download-artifact/compare/v6...v7 </a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="80620a5d27b15e003f461ee9a455fdhttps://redirect.github.com/dawidd6/action-download-artifact/issues/317 ">#317</a>)</li>
<li><a
href="b2f2706ac4https://redirect.github.com/dawidd6/action-download-artifact/issues/313 ">#313</a>)</li>
<li><a
href="fdbeba027chttps://redirect.github.com/dawidd6/action-download-artifact/issues/312 ">#312</a>)</li>
<li><a
href="a74b42987ahttps://redirect.github.com/dawidd6/action-download-artifact/issues/310 ">#310</a>)</li>
<li><a
href="24e807a70chttps://redirect.github.com/dawidd6/action-download-artifact/issues/311 ">#311</a>)</li>
<li><a
href="9592e3c4abhttps://redirect.github.com/dawidd6/action-download-artifact/issues/307 ">#307</a>)</li>
<li><a
href="5f966b63ebhttps://redirect.github.com/dawidd6/action-download-artifact/issues/306 ">#306</a>)</li>
<li><a
href="db9477a3ebhttps://redirect.github.com/dawidd6/action-download-artifact/issues/301 ">#301</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/dawidd6/action-download-artifact/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>
2024-12-02 16:09:50 +00:00
dependabot[bot]
be63c8280e
chore: CI: bump dcarbone/install-jq-action from 2.1.0 to 3.0.1 ( #6275 )
...
Bumps
[dcarbone/install-jq-action](https://github.com/dcarbone/install-jq-action )
from 2.1.0 to 3.0.1.
<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>v3.0.1</h2>
<h2>What's Changed</h2>
<ul>
<li>Use sh in action by <a
href="https://github.com/dcarbone "><code>@dcarbone</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/15 ">dcarbone/install-jq-action#15</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dcarbone/install-jq-action/compare/v3.0.0...v3.0.1 ">https://github.com/dcarbone/install-jq-action/compare/v3.0.0...v3.0.1 </a></p>
<h2>v3.0.0</h2>
<h2>What's Changed</h2>
<ul>
<li>updating matrix versions by <a
href="https://github.com/dcarbone "><code>@dcarbone</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/12 ">dcarbone/install-jq-action#12</a></li>
<li>trying out posix sh by <a
href="https://github.com/dcarbone "><code>@dcarbone</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/14 ">dcarbone/install-jq-action#14</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dcarbone/install-jq-action/compare/v2...v3.0.0 ">https://github.com/dcarbone/install-jq-action/compare/v2...v3.0.0 </a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="e397bd8743https://redirect.github.com/dcarbone/install-jq-action/issues/15 ">#15</a>)</li>
<li><a
href="36b228ee68d5935278d5ca8101273ehttps://redirect.github.com/dcarbone/install-jq-action/issues/14 ">#14</a>)</li>
<li><a
href="de7c0d1fb1https://redirect.github.com/dcarbone/install-jq-action/issues/12 ">#12</a>)</li>
<li>See full diff in <a
href="https://github.com/dcarbone/install-jq-action/compare/v2.1.0...v3.0.1 ">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>
2024-12-02 10:33:27 +00:00
Kim Morrison
9cf83706e7
chore: add changelog-* labels via comment ( #6147 )
...
This PR enables contributors to modify `changelog-*` labels simply by
writing a comment with the desired label.
2024-11-21 07:23:13 +00:00
Joachim Breitner
fa33423c84
chore: pr-body: run as part of merge_group, but do not do anything ( #6069 )
2024-11-13 15:47:58 +00:00
Sebastian Ullrich
f55a9a71cb
chore: CI: do not run check-pr-body in merge group
2024-11-09 12:58:53 +01:00
Sebastian Ullrich
4f7aa8c3c8
chore: CI: exempt drafts from PR body check ( #6002 )
2024-11-08 15:53:48 +00:00
Sebastian Ullrich
1b806c5535
chore: revert "CI: give Linux Debug unlimited test stack size" ( #6001 )
...
#5967 was the correct fix
Reverts leanprover/lean4#5953
2024-11-07 21:15:08 +00:00
Sebastian Ullrich
9b18262567
chore: new PR changelog template ( #5976 )
...
Enables us to auto-generate the changelog from the list of PRs for a
modicum of summarizing/categorizing work on PR creation.
Does not (yet) allow external contributors to set category labels by
themselves as this creates issues with triggering one workflow from
another, it is not clear whether they should be allowed to create new
categories, and the reviewer/triage team likely is in a better position
to do the categorization anyway.
2024-11-07 16:59:45 +00:00
Sebastian Ullrich
5f7a40ae48
chore: fix test exclusion ( #5990 )
...
You cannot pass `-E` to `ctest` multiple times
2024-11-07 10:41:47 +00:00
dependabot[bot]
7f0fe20315
chore: CI: bump mymindstorm/setup-emsdk from 12 to 14 ( #5963 )
...
Bumps
[mymindstorm/setup-emsdk](https://github.com/mymindstorm/setup-emsdk )
from 12 to 14.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/mymindstorm/setup-emsdk/releases ">mymindstorm/setup-emsdk's
releases</a>.</em></p>
<blockquote>
<h2>Version 14</h2>
<h1>Breaking Changes</h1>
<p>The default cache key naming scheme was changed from
<code>{Emscripten version}-{OS type}-${CPU architecture}-master</code>
to <code>{Github workflow name}-{Emscripten version}-{OS type}-${CPU
architecture}</code>. If <code>actions-cache-folder</code> is defined,
ensure that there are no conflicts with other caches to prevent
issues.</p>
<h1>Changelog</h1>
<ul>
<li>Add option to override cache key naming scheme (<a
href="https://redirect.github.com/mymindstorm/setup-emsdk/issues/20 ">#20</a>)</li>
<li>Add workflow name to cache key naming scheme (<a
href="https://redirect.github.com/mymindstorm/setup-emsdk/issues/20 ">#20</a>)</li>
<li>Updated dependencies to latest versions</li>
</ul>
<h2>Version 13</h2>
<ul>
<li>Updated to Node 20</li>
</ul>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="6ab9eb1bdabb630c3bf474881103d0https://redirect.github.com/mymindstorm/setup-emsdk/issues/40 ">#40</a>)</li>
<li><a
href="d233ac12b01749b22b40https://github.com/mymindstorm/setup-emsdk/compare/v12...v14 ">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>
2024-11-06 10:45:31 +00:00
Markus Himmel
76d32cbd2a
chore: exclude leanruntest_task_test_io for now ( #5973 )
...
To be reenabled after investigation.
2024-11-06 09:40:20 +00:00
Sebastian Ullrich
14c3d4b1a6
chore: CI: remove link checker for old manual
...
It started failing frequently after updating it and we're not actively working on this text anyway
2024-11-06 10:27:25 +01:00
dependabot[bot]
c6e4947f4a
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 ( #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="8867ddb478945d84920fhttps://redirect.github.com/dcarbone/install-jq-action/issues/10 ">#10</a>)</li>
<li><a
href="1090b8bd11https://redirect.github.com/dcarbone/install-jq-action/issues/8 ">#8</a>)</li>
<li><a
href="ff922c75b77f4d6f4833bfb9fa8e7dc1548c666dhttps://redirect.github.com/dcarbone/install-jq-action/issues/7 ">#7</a>)</li>
<li><a
href="f07422da1e183bc8df0ef6b58bacfehttps://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>
2024-11-05 11:23:59 +00:00
dependabot[bot]
01814185a6
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 ( #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="bf251b5aa993c6296611deb3bb83251d93f37db2854e2de939https://redirect.github.com/dawidd6/action-download-artifact/issues/290 ">#290</a>)</li>
<li><a
href="436c9d3774https://redirect.github.com/dawidd6/action-download-artifact/issues/289 ">#289</a>)</li>
<li><a
href="14040524bbhttps://redirect.github.com/dawidd6/action-download-artifact/issues/287 ">#287</a>)</li>
<li><a
href="8a9be734dchttps://redirect.github.com/dawidd6/action-download-artifact/issues/285 ">#285</a>)</li>
<li><a
href="df593bbd04https://redirect.github.com/dawidd6/action-download-artifact/issues/284 ">#284</a>)</li>
<li><a
href="09f2f74827https://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>
2024-11-05 11:12:20 +00:00
dependabot[bot]
47d0060934
chore: CI: bump actions/github-script from 6 to 7 ( #5962 )
...
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="60a0d83039https://redirect.github.com/actions/github-script/issues/440 ">#440</a>
from actions/joshmgross/v7.0.1</li>
<li><a
href="b7fb2001b412e22ed06bhttps://redirect.github.com/actions/github-script/issues/439 ">#439</a>
from actions/joshmgross/avoid-setting-base-url</li>
<li><a
href="d319f8f5b5e69ef5462fhttps://redirect.github.com/actions/github-script/issues/425 ">#425</a>
from actions/joshmgross/node-20</li>
<li><a
href="ee0914b839d6fc56f33b384d6cf58184724927e384903f5182https://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>
2024-11-05 11:06:39 +00:00
dependabot[bot]
b1c2d851e5
chore: CI: bump lycheeverse/lychee-action from 1.9.0 to 2.0.2 ( #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="7cd0af4c748ad54d3568762333c189https://redirect.github.com/lycheeverse/lychee-action/issues/259 ">#259</a>)</li>
<li><a
href="71a38a3bd7https://redirect.github.com/lycheeverse/lychee-action/issues/258 ">#258</a>)</li>
<li><a
href="f141760066https://redirect.github.com/lycheeverse/lychee-action/issues/257 ">#257</a>)</li>
<li><a
href="2bb232618bhttps://redirect.github.com/lycheeverse/lychee-action/issues/255 ">#255</a>)</li>
<li><a
href="731bf1a2afhttps://redirect.github.com/lycheeverse/lychee-action/issues/253 ">#253</a>)</li>
<li><a
href="e360f3c891https://redirect.github.com/lycheeverse/lychee-action/issues/252 ">#252</a>)</li>
<li><a
href="f87f0a62997da8ec1fc4https://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>
2024-11-05 10:41:16 +00:00
Sebastian Ullrich
970dc6f7aa
chore: CI: give Linux Debug unlimited test stack size ( #5953 )
2024-11-05 10:06:53 +00:00
dependabot[bot]
8e2f92607f
chore: CI: bump actions/stale from 8 to 9 ( #5958 )
...
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>⚠️ Breaking change ⚠️ </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>⚠️ Breaking change ⚠️ </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="9912fa74d1https://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="6ec637d238https://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="3e6d35b685https://redirect.github.com/actions/stale/issues/500 ">#500</a>)
(<a
href="f1017f33ddhttps://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="5fbbfba142https://redirect.github.com/actions/stale/issues/474 ">#474</a>)
(<a
href="5f6f311ca6https://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="28ca103628https://redirect.github.com/actions/stale/issues/1110 ">#1110</a>)</li>
<li><a
href="b69b346013https://redirect.github.com/actions/stale/issues/1079 ">#1079</a>)</li>
<li><a
href="88a6f4f6cbhttps://redirect.github.com/actions/stale/issues/1083 ">#1083</a>)</li>
<li><a
href="796531a7b3https://redirect.github.com/actions/stale/issues/1080 ">#1080</a>
from akv-platform/fix-delete-cache</li>
<li><a
href="8986f6218bcab99b362b184e7afe93https://redirect.github.com/actions/stale/issues/1064 ">#1064</a>
from actions/dependabot/npm_and_yarn/typescript-esli...</li>
<li><a
href="523885cf3c2487a1dc2b60c722ee97https://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>
2024-11-05 09:53:55 +00:00
dependabot[bot]
ee1fa6eeb7
chore: CI: bump raven-actions/actionlint from 1 to 2 ( #5957 )
...
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="01fce4f43ahttps://redirect.github.com/raven-actions/actionlint/issues/24 ">#24</a>)</li>
<li><a
href="a30be5376bhttps://redirect.github.com/raven-actions/actionlint/issues/23 ">#23</a>)</li>
<li><a
href="ea4eb57846https://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>
2024-11-05 09:49:23 +00:00
dependabot[bot]
9d2a017704
chore: CI: bump softprops/action-gh-release from 1 to 2 ( #5955 )
...
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="e7a8f85e1c04afa1392ehttps://redirect.github.com/softprops/action-gh-release/issues/535 ">#535</a>)</li>
<li><a
href="894468a03chttps://redirect.github.com/softprops/action-gh-release/issues/534 ">#534</a>)</li>
<li><a
href="3bd23aa9echttps://redirect.github.com/softprops/action-gh-release/issues/533 ">#533</a>)</li>
<li><a
href="21eb2f9554https://redirect.github.com/softprops/action-gh-release/issues/532 ">#532</a>)</li>
<li><a
href="cd8b57e572https://redirect.github.com/softprops/action-gh-release/issues/521 ">#521</a>)</li>
<li><a
href="820a5adc43https://redirect.github.com/softprops/action-gh-release/issues/522 ">#522</a>)</li>
<li><a
href="9d04f90cd8https://redirect.github.com/softprops/action-gh-release/issues/523 ">#523</a>)</li>
<li><a
href="aaf1d5f6d5https://redirect.github.com/softprops/action-gh-release/issues/524 ">#524</a>)</li>
<li><a
href="7d33a7ecc3https://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>
2024-11-05 09:40:03 +00:00
dependabot[bot]
574b86c247
chore: CI: bump nwtgck/actions-netlify from 2.0 to 3.0 ( #5956 )
...
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="4cbaf4c08f6b45669baf8d5d80bf73https://redirect.github.com/nwtgck/actions-netlify/issues/1151 ">#1151</a>
from nwtgck/actions-build/nwtgck-dependabot/npm_and_...</li>
<li><a
href="85c2e8e35aea3c314fcd333815eadd06de7de77bhttps://redirect.github.com/nwtgck/actions-netlify/issues/1121 ">#1121</a>)</li>
<li><a
href="a7f64ad4e2fee801f039https://redirect.github.com/nwtgck/actions-netlify/issues/1124 ">#1124</a>)</li>
<li><a
href="e4998d22a0https://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>
2024-11-05 09:38:06 +00:00
Sebastian Ullrich
75602f7c29
chore: CI: adjust Dependabot prefix
2024-11-05 10:31:37 +01:00
Sebastian Ullrich
0fd90c1283
chore: CI: check for GitHub Actions updates once per month ( #5954 )
2024-11-05 10:20:23 +01:00
Sebastian Ullrich
c723ae7f97
chore: CI: build 64-bit platforms consistently with GMP
...
fix
arm64?
try different fix
`uses_gmp` .olean bit, bump .olean version
add lean_version
make sure to use cache gmp on x86 Linux
2024-11-01 22:48:49 +11:00
Kyle Miller
09802e83cd
chore: mention #version in bug report template ( #5769 )
2024-10-30 02:46:48 +00:00
Joachim Breitner
bab6aff173
chore: nix-ci.yml: fix test-results.xml path ( #5804 )
2024-10-22 11:18:40 +00:00
Markus Himmel
cc76496050
chore: check-prelude also for Std ( #5764 )
2024-10-18 10:53:52 +00:00
Henrik Böving
9b6696be1d
feat: use libuv for tempfiles ( #5135 )
...
This is currently broken because of linker issues. CC @TwoFX
---------
Co-authored-by: Markus Himmel <markus@lean-fro.org>
2024-10-14 13:56:56 +00:00
