max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/.github/workflows
History
dependabot[bot] 402cba6f09
chore: CI: bump dcarbone/install-jq-action from 3.1.1 to 3.2.0 (#9138) 
Bumps
[dcarbone/install-jq-action](https://github.com/dcarbone/install-jq-action)
from 3.1.1 to 3.2.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>v3.2.0</h2>
<h2>What's Changed</h2>
<ul>
<li>case sensitive is off by <a
href="https://github.com/Rupreht"><code>@​Rupreht</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/19">dcarbone/install-jq-action#19</a></li>
<li>Adding 1.8.0 stuff by <a
href="https://github.com/dcarbone"><code>@​dcarbone</code></a> in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/20">dcarbone/install-jq-action#20</a></li>
</ul>
<h2>New Contributors</h2>
<ul>
<li><a href="https://github.com/Rupreht"><code>@​Rupreht</code></a> made
their first contribution in <a
href="https://redirect.github.com/dcarbone/install-jq-action/pull/19">dcarbone/install-jq-action#19</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/dcarbone/install-jq-action/compare/v3.1.1...v3.2.0">https://github.com/dcarbone/install-jq-action/compare/v3.1.1...v3.2.0</a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="b7ef57d46e"><code>b7ef57d</code></a>
Adding 1.8.0 stuff (<a
href="https://redirect.github.com/dcarbone/install-jq-action/issues/20">#20</a>)</li>
<li><a
href="2eac2baa38"><code>2eac2ba</code></a>
case sensitive is off (<a
href="https://redirect.github.com/dcarbone/install-jq-action/issues/19">#19</a>)</li>
<li>See full diff in <a
href="https://github.com/dcarbone/install-jq-action/compare/v3.1.1...v3.2.0">compare
view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=dcarbone/install-jq-action&package-manager=github_actions&previous-version=3.1.1&new-version=3.2.0)](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-07-01 21:21:20 +00:00
..
actionlint.yml chore: CI: bump raven-actions/actionlint from 1 to 2 (#5957) 2024-11-05 09:49:23 +00:00
awaiting-manual.yml chore: automatically create reference manual PR branches (#9033) 2025-06-27 13:23:41 +00:00
awaiting-mathlib.yml chore: fix awaiting-mathlib.yml (#8480) 2025-05-26 02:13:00 +00:00
backport.yml chore: CI: add backport action 2023-09-25 11:33:14 +02:00
build-template.yml perf: do not import non-meta IR 2025-06-27 08:13:31 -07:00
check-prelude.yml chore: lake: use & check prelude (#6289) 2024-12-02 19:55:05 +00:00
check-stage0.yml chore: CI: relax check-stage0 check 2025-03-20 13:16:43 +01:00
ci.yml chore: ci: build Linux toolchain for master commits (but not merge queue runs) (#9010) 2025-06-26 08:20:04 +00:00
copyright-header.yml feat: trace.profiler export to Firefox Profiler (#3801) 2024-04-15 12:13:14 +00:00
grove.yml chore: ci: fixes to Grove workflow (#9014) 2025-06-26 12:15:51 +00:00
jira.yml chore: CI: Jira sync 2024-07-24 19:52:55 +02:00
labels-from-comments.yml chore: add changelog-* labels via comment (#6147) 2024-11-21 07:23:13 +00:00
pr-body.yml chore: pr-body: run as part of merge_group, but do not do anything (#6069) 2024-11-13 15:47:58 +00:00
pr-release.yml chore: CI: bump dcarbone/install-jq-action from 3.1.1 to 3.2.0 (#9138) 2025-07-01 21:21:20 +00:00
pr-title.yml chore: CI: update github-script (#3002) 2023-12-01 08:39:51 +00:00
restart-on-label.yml chore: restart-on-label: Also filter by commit SHA (#5099) 2024-08-20 07:45:43 +00:00
stale.yml chore: CI: bump actions/stale from 8 to 9 (#5958) 2024-11-05 09:53:55 +00:00
update-stage0.yml chore: denixify stage0-updater workflow (#8452) 2025-05-23 13:12:50 +00:00