mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-21 16:10:26 +00:00
Code Activity

Bump github/gh-aw-actions from 0.79.6 to 0.80.4 (#9902)

Browse source 
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions)
from 0.79.6 to 0.80.4.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/github/gh-aw-actions/releases">github/gh-aw-actions's
releases</a>.</em></p>
<blockquote>
<h2>v0.80.4</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.80.4</code>.</p>
<h2>v0.80.3</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.80.3</code>.</p>
<h2>v0.80.2</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.80.2</code>.</p>
<h2>v0.80.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.80.1</code>.</p>
<h2>v0.80.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.80.0</code>.</p>
<h2>v0.79.8</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.79.8</code>.</p>
<h2>v0.79.7</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw">gh-aw</a> at
<code>v0.79.7</code>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="00c24a5774"><code>00c24a5</code></a>
chore: sync actions from gh-aw@v0.80.4 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/161">#161</a>)</li>
<li><a
href="53aef6c384"><code>53aef6c</code></a>
chore: sync actions from gh-aw@v0.80.3 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/160">#160</a>)</li>
<li><a
href="2702b4242b"><code>2702b42</code></a>
chore: sync actions from gh-aw@v0.80.2 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/157">#157</a>)</li>
<li><a
href="489221ef1a"><code>489221e</code></a>
chore: sync actions from gh-aw@v0.80.1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/156">#156</a>)</li>
<li><a
href="c106acf378"><code>c106acf</code></a>
chore: sync actions from gh-aw@v0.80.0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/155">#155</a>)</li>
<li><a
href="a22c32462b"><code>a22c324</code></a>
Migrate runtime threat scan to CopilotRequestWrite (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/153">#153</a>)</li>
<li><a
href="c0338fef47"><code>c0338fe</code></a>
chore: sync actions from gh-aw@v0.79.8 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/154">#154</a>)</li>
<li><a
href="c71b1e20fb"><code>c71b1e2</code></a>
chore: sync actions from gh-aw@v0.79.7 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/152">#152</a>)</li>
<li>See full diff in <a
href="https://github.com/github/gh-aw-actions/compare/v0.79.6...v0.80.4">compare
view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=github/gh-aw-actions&package-manager=github_actions&previous-version=0.79.6&new-version=0.80.4)](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 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>
This commit is contained in:
dependabot[bot] 2026-06-18 17:42:08 -06:00 • committed by Nikolaj Bjorner
parent ac4db8ed28
commit bb78affed7
20 changed files with 142 additions and 142 deletions
Download patch file Download diff file Expand all files Collapse all files

30
.github/workflows/agentics-maintenance.yml vendored
View file

@ -93,7 +93,7 @@ jobs:
pull-requests: write
steps:
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -131,7 +131,7 @@ jobs:
actions: write
steps:
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -160,7 +160,7 @@ jobs:
persist-credentials: false
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -175,7 +175,7 @@ jobs:
await main();
- name: Install gh-aw
uses: github/gh-aw-actions/setup-cli@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup-cli@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
version: v0.79.6
@ -205,7 +205,7 @@ jobs:
pull-requests: write
steps:
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -251,7 +251,7 @@ jobs:
persist-credentials: false
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -295,7 +295,7 @@ jobs:
persist-credentials: false
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -310,7 +310,7 @@ jobs:
await main();
- name: Install gh-aw
uses: github/gh-aw-actions/setup-cli@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup-cli@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
version: v0.79.6
@ -341,7 +341,7 @@ jobs:
persist-credentials: false
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -356,7 +356,7 @@ jobs:
await main();
- name: Install gh-aw
uses: github/gh-aw-actions/setup-cli@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup-cli@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
version: v0.79.6
@ -446,7 +446,7 @@ jobs:
persist-credentials: false
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -461,7 +461,7 @@ jobs:
await main();
- name: Install gh-aw
uses: github/gh-aw-actions/setup-cli@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup-cli@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
version: v0.79.6
@ -538,7 +538,7 @@ jobs:
issues: write
steps:
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -575,7 +575,7 @@ jobs:
persist-credentials: false
- name: Setup Scripts
uses: github/gh-aw-actions/setup@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
destination: ${{ runner.temp }}/gh-aw/actions
@ -590,7 +590,7 @@ jobs:
await main();
- name: Install gh-aw
uses: github/gh-aw-actions/setup-cli@5c2fe865bb4dc46e1450f6ee0d0541d759aea73a # v0.79.6
uses: github/gh-aw-actions/setup-cli@00c24a5774577e7282046aa2225105571a8f4195 # v0.80.4
with:
version: v0.79.6