25e3db4aa3
Add agentic workflow to build latest F* master against latest Z3 master ( #9733 )
...
This introduces an agentic workflow that continuously validates Z3→F*
integration by building Z3 from this repository’s `master` and then
building `FStarLang/FStar` from its latest `master` using that exact Z3
binary.
- **Workflow added**
- New source workflow: `.github/workflows/fstar-master-build.md`
- New compiled workflow: `.github/workflows/fstar-master-build.lock.yml`
- Triggered on `daily` schedule and `workflow_dispatch`.
- **Build orchestration**
- Checks out Z3 `master` and builds/installs it with CMake + Ninja into
`/tmp/gh-aw/agent/z3-install`.
- Clones latest `FStarLang/FStar` `master` and records the exact commit
SHA used.
- Forces F* build to use the locally built Z3 via:
- `PATH=/tmp/gh-aw/agent/z3-install/bin:$PATH`
- `Z3_EXE=/tmp/gh-aw/agent/z3-install/bin/z3`
- **Reporting + failure handling**
- On success: posts a discussion with Z3 commit/version, F* commit, and
command summary.
- On failure: opens an issue with failing phase, error summary, and log
excerpts.
- Uses safe-outputs with bounded lifetime (`expires: 14d`) and explicit
failure labeling.
```yaml
safe-outputs:
create-discussion:
title-prefix: "[F* Build] "
close-older-discussions: true
expires: 14d
create-issue:
title-prefix: "[F* Build Failure] "
labels: ["build", "fstar"]
```
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com >
2026-06-05 14:45:00 -07:00
cfc5b4d096
Bump github/gh-aw-actions from 0.77.0 to 0.78.1 ( #9714 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions )
from 0.77.0 to 0.78.1.
<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.78.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.78.1</code>.</p>
<h2>v0.78.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.78.0</code>.</p>
<h2>v0.77.6</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.6</code>.</p>
<h2>v0.77.5</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.5</code>.</p>
<h2>v0.77.4</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.4</code>.</p>
<h2>v0.77.3</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.3</code>.</p>
<h2>v0.77.2</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.2</code>.</p>
<h2>v0.77.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.1</code>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/github/gh-aw-actions/commit/73ed520ae4ecd087a485e1991605595978b32ac1 "><code>73ed520</code></a>
chore: sync actions from gh-aw@v0.78 .1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/132 ">#132</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/166f6e35cb272bc1ac8aa9fc34c5fadd5a61c7fa "><code>166f6e3</code></a>
chore: sync actions from gh-aw@v0.78 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/131 ">#131</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/3928d9c902852a519b0a03ea19f4fe43c085c753 "><code>3928d9c</code></a>
chore: sync actions from gh-aw@v0.77 .6 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/130 ">#130</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/3ea13c02d765410340d533515cb31a7eef2baaf0 "><code>3ea13c0</code></a>
chore: sync actions from gh-aw@v0.77 .5 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/128 ">#128</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/4c7307f890279fa5971acae8899475901fea9447 "><code>4c7307f</code></a>
chore: sync actions from gh-aw@v0.77 .4 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/127 ">#127</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/97f280b14527ca95859c0facba201aeccb2c097f "><code>97f280b</code></a>
chore: sync actions from gh-aw@v0.77 .3 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/126 ">#126</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/8ef4fd0f42779899e54c94d70432110ad596b8bb "><code>8ef4fd0</code></a>
chore: sync actions from gh-aw@v0.77 .2 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/125 ">#125</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/2d6db59a9f9fdfb957a7753d83270a91e84ecf5c "><code>2d6db59</code></a>
chore: sync actions from gh-aw@v0.77 .1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/124 ">#124</a>)</li>
<li>See full diff in <a
href="https://github.com/github/gh-aw-actions/compare/v0.77.0...v0.78.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 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>
2026-06-04 16:14:19 -07:00
ab85754eb3
Bump actions/checkout from 6.0.2 to 6.0.3 ( #9715 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 6.0.2
to 6.0.3.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/actions/checkout/releases ">actions/checkout's
releases</a>.</em></p>
<blockquote>
<h2>v6.0.3</h2>
<h2>What's Changed</h2>
<ul>
<li>Update changelog by <a
href="https://github.com/ericsciple "><code>@ericsciple</code></a> in <a
href="https://redirect.github.com/actions/checkout/pull/2357 ">actions/checkout#2357</a></li>
<li>fix: expand merge commit SHA regex and add SHA-256 test cases by <a
href="https://github.com/yaananth "><code>@yaananth</code></a> in <a
href="https://redirect.github.com/actions/checkout/pull/2414 ">actions/checkout#2414</a></li>
<li>Fix checkout init for SHA-256 repositories by <a
href="https://github.com/yaananth "><code>@yaananth</code></a> in <a
href="https://redirect.github.com/actions/checkout/pull/2439 ">actions/checkout#2439</a></li>
<li>Update changelog for v6.0.3 by <a
href="https://github.com/yaananth "><code>@yaananth</code></a> in <a
href="https://redirect.github.com/actions/checkout/pull/2446 ">actions/checkout#2446</a></li>
</ul>
<h2>New Contributors</h2>
<ul>
<li><a href="https://github.com/yaananth "><code>@yaananth</code></a>
made their first contribution in <a
href="https://redirect.github.com/actions/checkout/pull/2414 ">actions/checkout#2414</a></li>
</ul>
<p><strong>Full Changelog</strong>: <a
href="https://github.com/actions/checkout/compare/v6...v6.0.3 ">https://github.com/actions/checkout/compare/v6...v6.0.3 </a></p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/actions/checkout/commit/df4cb1c069e1874edd31b4311f1884172cec0e10 "><code>df4cb1c</code></a>
Update changelog for v6.0.3 (<a
href="https://redirect.github.com/actions/checkout/issues/2446 ">#2446</a>)</li>
<li><a
href="https://github.com/actions/checkout/commit/1cce3390c2bfda521930d01229c073c7ff920824 "><code>1cce339</code></a>
Fix checkout init for SHA-256 repositories (<a
href="https://redirect.github.com/actions/checkout/issues/2439 ">#2439</a>)</li>
<li><a
href="https://github.com/actions/checkout/commit/900f2210b1d28bbbd0bd22d17926b9e224e8f231 "><code>900f221</code></a>
fix: expand merge commit SHA regex and add SHA-256 test cases (<a
href="https://redirect.github.com/actions/checkout/issues/2414 ">#2414</a>)</li>
<li><a
href="https://github.com/actions/checkout/commit/0c366fd6a839edf440554fa01a7085ccba70ac98 "><code>0c366fd</code></a>
Update changelog (<a
href="https://redirect.github.com/actions/checkout/issues/2357 ">#2357</a>)</li>
<li>See full diff in <a
href="https://github.com/actions/checkout/compare/v6.0.2...v6.0.3 ">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 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>
2026-06-04 16:14:05 -07:00
b0536c3998
Bump github/gh-aw-actions from 0.76.1 to 0.77.0 ( #9661 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions )
from 0.76.1 to 0.77.0.
<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.77.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.77.0</code>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/github/gh-aw-actions/commit/b11be78086764c43fa463398aed7ffdcf40549c1 "><code>b11be78</code></a>
chore: sync actions from gh-aw@v0.77 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/122 ">#122</a>)</li>
<li>See full diff in <a
href="https://github.com/github/gh-aw-actions/compare/v0.76.1...v0.77.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 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>
2026-06-01 16:01:32 -07:00
ec25b6a185
Bump github/gh-aw-actions from 0.74.8 to 0.76.1 ( #9630 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions )
from 0.74.8 to 0.76.1.
<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.76.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.76.1</code>.</p>
<h2>v0.76.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.76.0</code>.</p>
<h2>v0.75.4</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.4</code>.</p>
<h2>v0.75.3</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.3</code>.</p>
<h2>v0.75.2</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.2</code>.</p>
<h2>v0.75.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.1</code>.</p>
<h2>v0.75.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.0</code>.</p>
<h2>v0.74.9</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.9</code>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/github/gh-aw-actions/commit/46d564922b082d0db93244972e8005ea6904ee5f "><code>46d5649</code></a>
chore: sync actions from gh-aw@v0.76 .1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/118 ">#118</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/029b1de3e913e0604df1ada9da1cec03e282c4db "><code>029b1de</code></a>
chore: sync actions from gh-aw@v0.76 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/117 ">#117</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/9f050961da586148d135e113d8bb025185cdf2b8 "><code>9f05096</code></a>
chore: sync actions from gh-aw@v0.75 .4 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/116 ">#116</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/7a3633897dae74a0b11d59c2ad69bf633eb4c4db "><code>7a36338</code></a>
chore: sync actions from gh-aw@v0.75 .3 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/115 ">#115</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/3dc823528828d0e22c37e902e185cd16d92d818d "><code>3dc8235</code></a>
chore: sync actions from gh-aw@v0.75 .2 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/114 ">#114</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/bf62a61fbcc511abd62545691d59de30292a1279 "><code>bf62a61</code></a>
chore: sync actions from gh-aw@v0.75 .1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/113 ">#113</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/f889c9c3c06adeaabccefc06e29c42733ee05dff "><code>f889c9c</code></a>
chore: sync actions from gh-aw@v0.75 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/112 ">#112</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/318d7f4901f78b85e25b91709cf0109ac9b425f6 "><code>318d7f4</code></a>
chore: sync actions from gh-aw@v0.74 .9 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/111 ">#111</a>)</li>
<li>See full diff in <a
href="https://github.com/github/gh-aw-actions/compare/v0.74.8...v0.76.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 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>
2026-05-26 18:10:06 -07:00
2d827af322
Bump github/gh-aw-actions from 0.74.4 to 0.76.0 ( #9624 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions )
from 0.74.4 to 0.76.0.
<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.76.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.76.0</code>.</p>
<h2>v0.75.4</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.4</code>.</p>
<h2>v0.75.3</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.3</code>.</p>
<h2>v0.75.2</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.2</code>.</p>
<h2>v0.75.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.1</code>.</p>
<h2>v0.75.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.75.0</code>.</p>
<h2>v0.74.9</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.9</code>.</p>
<h2>v0.74.8</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.8</code>.</p>
<h2>v0.74.7</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.7</code>.</p>
<h2>v0.74.6</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.6</code>.</p>
<h2>v0.74.5</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.5</code>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/github/gh-aw-actions/commit/029b1de3e913e0604df1ada9da1cec03e282c4db "><code>029b1de</code></a>
chore: sync actions from gh-aw@v0.76 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/117 ">#117</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/9f050961da586148d135e113d8bb025185cdf2b8 "><code>9f05096</code></a>
chore: sync actions from gh-aw@v0.75 .4 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/116 ">#116</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/7a3633897dae74a0b11d59c2ad69bf633eb4c4db "><code>7a36338</code></a>
chore: sync actions from gh-aw@v0.75 .3 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/115 ">#115</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/3dc823528828d0e22c37e902e185cd16d92d818d "><code>3dc8235</code></a>
chore: sync actions from gh-aw@v0.75 .2 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/114 ">#114</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/bf62a61fbcc511abd62545691d59de30292a1279 "><code>bf62a61</code></a>
chore: sync actions from gh-aw@v0.75 .1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/113 ">#113</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/f889c9c3c06adeaabccefc06e29c42733ee05dff "><code>f889c9c</code></a>
chore: sync actions from gh-aw@v0.75 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/112 ">#112</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/318d7f4901f78b85e25b91709cf0109ac9b425f6 "><code>318d7f4</code></a>
chore: sync actions from gh-aw@v0.74 .9 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/111 ">#111</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/efa55847f72aadb03490d955263ff911bf758700 "><code>efa5584</code></a>
chore: sync actions from gh-aw@v0.74 .8 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/110 ">#110</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/b33de57754c70e58ba0ee89bc4f41545d6cc388a "><code>b33de57</code></a>
chore: sync actions from gh-aw@v0.74 .7 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/109 ">#109</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/8c8a26469d5291cf35c7bec8fe048a521bb8001f "><code>8c8a264</code></a>
chore: sync actions from gh-aw@v0.74 .6 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/108 ">#108</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/github/gh-aw-actions/compare/v0.74.4...v0.76.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 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>
2026-05-26 09:35:58 -07:00
3eb6efa830
Bump github/gh-aw-actions from 0.72.1 to 0.74.4 ( #9568 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions )
from 0.72.1 to 0.74.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.74.4</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.4</code>.</p>
<h2>v0.74.3</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.3</code>.</p>
<h2>v0.74.2</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.2</code>.</p>
<h2>v0.74.1</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.1</code>.</p>
<h2>v0.74.0</h2>
<p>Sync of actions from <a
href="https://github.com/github/gh-aw ">gh-aw</a> at
<code>v0.74.0</code>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/github/gh-aw-actions/commit/d3abfe96a194bce3a523ed2093ddedd5704cdf62 "><code>d3abfe9</code></a>
chore: sync actions from gh-aw@v0.74 .4 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/105 ">#105</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/8a9a52673cb8f97ebb43b344618af2d6f2c9ac7f "><code>8a9a526</code></a>
chore: sync actions from gh-aw@v0.74 .3 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/104 ">#104</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/23453ecc01928d28ee1e773e403b216b29e89a5b "><code>23453ec</code></a>
chore: sync actions from gh-aw@v0.74 .2 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/101 ">#101</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/b07cf98ac5874e8f51c34ba52099d8a6fac2ef93 "><code>b07cf98</code></a>
chore: sync actions from gh-aw@v0.74 .1 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/100 ">#100</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/908c12f51d39d74f1456eef286f1ac52d985ed25 "><code>908c12f</code></a>
Add daily Copilot runtime threat scan workflow (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/98 ">#98</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/28ffccfcaa92868c8160807f95519789a590defc "><code>28ffccf</code></a>
chore: sync actions from gh-aw@v0.74 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/97 ">#97</a>)</li>
<li><a
href="https://github.com/github/gh-aw-actions/commit/cc81570b4572ee3ccd62613812c2505f13160de5 "><code>cc81570</code></a>
chore: sync actions from gh-aw@v0.73 .0 (<a
href="https://redirect.github.com/github/gh-aw-actions/issues/95 ">#95</a>)</li>
<li>See full diff in <a
href="https://github.com/github/gh-aw-actions/compare/v0.72.1...v0.74.4 ">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 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>
2026-05-19 12:04:17 -07:00
57e0a12e3a
Bump github/gh-aw-actions from 0.71.5 to 0.74.0 ( #9503 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions ) from 0.71.5 to 0.74.0.
- [Release notes](https://github.com/github/gh-aw-actions/releases )
- [Changelog](https://github.com/github/gh-aw-actions/blob/main/CHANGELOG.md )
- [Commits](https://github.com/github/gh-aw-actions/compare/v0.71.5...v0.74.0 )
---
updated-dependencies:
- dependency-name: github/gh-aw-actions
dependency-version: 0.74.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-05-12 12:42:25 -04:00
601dccc947
Regenerate agentic workflow locks to fix AWF install failures ( #9496 )
...
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/368baffc-eb0e-40dd-ade5-1eb36d71d0c4
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com >
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-05-10 21:48:54 -04:00
c189d66145
Bump github/gh-aw-actions from 0.71.1 to 0.71.4 ( #9461 )
...
Bumps [github/gh-aw-actions](https://github.com/github/gh-aw-actions ) from 0.71.1 to 0.71.4.
- [Release notes](https://github.com/github/gh-aw-actions/releases )
- [Changelog](https://github.com/github/gh-aw-actions/blob/main/CHANGELOG.md )
- [Commits](https://github.com/github/gh-aw-actions/compare/v0.71.1...f8495a686e66770ae977f82732f34d7340ee42a4 )
---
updated-dependencies:
- dependency-name: github/gh-aw-actions
dependency-version: 0.71.4
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-05-05 11:19:06 -07:00
6cbc504f0b
upgrade workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-04-27 13:59:30 -07:00
75039d631c
Bump actions/upload-artifact from 7.0.0 to 7.0.1 ( #9300 )
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 7.0.0 to 7.0.1.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v7...v7.0.1 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: 7.0.1
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-04-19 16:51:02 +02:00
36e1bd15ea
Bump actions/github-script from 8.0.0 to 9.0.0 ( #9296 )
...
Bumps [actions/github-script](https://github.com/actions/github-script ) from 8.0.0 to 9.0.0.
- [Release notes](https://github.com/actions/github-script/releases )
- [Commits](https://github.com/actions/github-script/compare/v8...3a2844b7e9c422d3c10d287c895573f7108da1b3 )
---
updated-dependencies:
- dependency-name: actions/github-script
dependency-version: 9.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-04-19 16:49:03 +02:00
1544462f47
recompiled aw
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-04-11 11:17:51 -07:00
4a1f448a06
Fix agentic workflow compilation errors (gh-aw v0.68 compat) ( #9275 )
...
* Start: recompile agentic workflows, fix errors and security issues
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/88b80d94-e7d6-4e8f-a106-baa2e7e212d6
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
* Fix agentic workflow compilation errors: remove glob/view tools, resolve merge conflict, fix serena tool and missing imports
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/88b80d94-e7d6-4e8f-a106-baa2e7e212d6
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com >
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-04-11 10:19:45 -07:00
3879e2190a
recompile workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-04-01 09:27:45 -07:00
4ece18c284
Bump github/gh-aw from 0.57.2 to 0.65.0 ( #9173 )
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.57.2 to 0.65.0.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.57.2...v0.65.0 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.65.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-03-30 19:17:19 -07:00
01e0cf8e2c
Bump github/gh-aw from 0.57.2 to 0.62.5 ( #9110 )
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.57.2 to 0.62.5.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.57.2...v0.62.5 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.62.5
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-03-23 16:33:13 -07:00
ae90696e50
Bump actions/download-artifact from 8.0.0 to 8.0.1 ( #9113 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 8.0.0 to 8.0.1.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v8...v8.0.1 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 8.0.1
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-03-23 16:32:49 -07:00
ccdfdbb176
recompiled
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-03-20 16:32:44 -07:00
a252121945
Bump actions/download-artifact from 8.0.0 to 8.0.1 ( #9016 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 8.0.0 to 8.0.1.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v8...v8.0.1 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 8.0.1
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-03-16 16:11:55 -07:00
103bf6dc35
Bump github/gh-aw from 0.53.4 to 0.59.0 ( #9015 )
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.53.4 to 0.59.0.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.53.4...v0.59.0 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.59.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-03-16 16:07:29 -07:00
db46d52056
fix memory-safety-report to download artifacts via MCP tools ( #8979 )
...
gh CLI is not available inside AWF so the agent could not download
artifacts. Switch to GitHub MCP actions toolset for artifact URLs
and add helper scripts for download and parsing.
2026-03-15 10:12:49 -07:00
8ba5fb6698
compile updated workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-03-12 13:33:37 -07:00
664c8ca73a
compiled workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-03-11 21:39:28 -07:00
a53d63be85
Bump github/gh-aw from 0.45.6 to 0.57.0
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.57.0.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.57.0 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.57.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-03-09 22:47:13 +00:00
30483d6cf2
Merge pull request #8835 from Z3Prover/dependabot/github_actions/actions/download-artifact-8.0.0
...
Bump actions/download-artifact from 6.0.0 to 8.0.0
2026-03-02 15:48:03 -08:00
ef648ff632
Merge pull request #8833 from Z3Prover/dependabot/github_actions/actions/upload-artifact-7.0.0
...
Bump actions/upload-artifact from 6.0.0 to 7.0.0
2026-03-02 15:47:48 -08:00
ba88256a2a
Merge pull request #8836 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2
...
Bump actions/checkout from 5.0.1 to 6.0.2
2026-03-02 15:47:22 -08:00
11d3a11cea
Bump github/gh-aw from 0.45.6 to 0.51.6
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.51.6.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.51.6 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.51.6
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-03-02 23:44:00 +00:00
e482052b37
Bump actions/checkout from 5.0.1 to 6.0.2
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.2
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-03-02 23:42:08 +00:00
867e768aa8
Bump actions/download-artifact from 6.0.0 to 8.0.0
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 6.0.0 to 8.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v6...v8 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 8.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-03-02 23:41:23 +00:00
a7e3635931
Bump actions/upload-artifact from 6.0.0 to 7.0.0
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-version: 7.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-03-02 23:40:26 +00:00
48de0f8a5e
updated compiled workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-02-24 16:12:53 -08:00
fe5c15e1fc
Merge pull request #8743 from Z3Prover/dependabot/github_actions/github/gh-aw-0.49.5
...
Bump github/gh-aw from 0.45.6 to 0.49.5
2026-02-23 20:32:37 -08:00
55753ba36f
Merge pull request #8745 from Z3Prover/dependabot/github_actions/actions/download-artifact-7
...
Bump actions/download-artifact from 4 to 7
2026-02-23 20:31:58 -08:00
a61de6023a
Bump actions/download-artifact from 4 to 7
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 4 to 7.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v4...v7 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '7'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-02-23 23:24:27 +00:00
c3a97b5a03
Bump github/gh-aw from 0.45.6 to 0.49.5
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.45.6 to 0.49.5.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.45.6...v0.49.5 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.49.5
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-02-23 23:23:44 +00:00
51e53b547a
Bump actions/checkout from 5.0.1 to 6.0.2
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.2
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-02-23 23:22:21 +00:00
5a91b0e6e9
recompile workflows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-02-17 15:45:34 -08:00
5a0ed8e0f7
Document upgrade changes and verify workflow compilation
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-02-17 23:34:37 +00:00
e6b58ac7dc
Upgrade agentic workflows to gh-aw v0.45.6
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-02-17 23:33:27 +00:00
a467a49453
Initial plan: Fix a3-python.md workflow shell substitution issue
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-02-17 04:15:08 +00:00
5c41b93498
Merge pull request #8659 from Z3Prover/dependabot/github_actions/actions/download-artifact-7.0.0
...
Bump actions/download-artifact from 6.0.0 to 7.0.0
2026-02-16 19:40:15 -08:00
88b004b5b6
Merge pull request #8660 from Z3Prover/dependabot/github_actions/actions/checkout-6.0.2
...
Bump actions/checkout from 5.0.1 to 6.0.2
2026-02-16 19:34:55 -08:00
f2f2d37a3f
Bump github/gh-aw from 0.43.15 to 0.45.1
...
Bumps [github/gh-aw](https://github.com/github/gh-aw ) from 0.43.15 to 0.45.1.
- [Release notes](https://github.com/github/gh-aw/releases )
- [Commits](https://github.com/github/gh-aw/compare/v0.43.15...v0.45.1 )
---
updated-dependencies:
- dependency-name: github/gh-aw
dependency-version: 0.45.1
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-02-16 22:15:27 +00:00
93afd93766
Bump actions/checkout from 5.0.1 to 6.0.2
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.2
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-02-16 22:13:44 +00:00
7319b08b7f
Bump actions/download-artifact from 6.0.0 to 7.0.0
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 7.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-02-16 22:13:09 +00:00
e3981e5213
Fix git sparse-checkout initialization in a3-python workflows
...
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-02-16 17:45:25 +00:00
e553ee2110
revert to last working flows
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com >
2026-02-16 09:29:10 -08:00
Copilot