Copilot
5d78c82f01
Update api-coherence-checker workflow to use "Agentic Workflows" discussion category ( #8202 )
...
* Initial plan
* Update api-coherence-checker to use "Agentic Workflows" discussion category
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-02-18 20:57:30 -08:00
Copilot
8a4f5f56fc
Fix api-coherence workflow to verify and filter resolved issues ( #8201 )
...
* Initial plan
* Update api-coherence workflow to verify and filter resolved issues
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-02-18 20:57:30 -08:00
dependabot[bot]
50bf3221ea
Bump actions/setup-dotnet from 4.3.1 to 5.0.1 ( #8175 )
...
Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet ) from 4.3.1 to 5.0.1.
- [Release notes](https://github.com/actions/setup-dotnet/releases )
- [Commits](67a3573c9a...2016bd2012
2026-02-18 20:57:11 -08:00
dependabot[bot]
cc77bce3ed
Bump actions/download-artifact from 6.0.0 to 7.0.0 ( #8176 )
...
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>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-02-18 20:57:11 -08:00
dependabot[bot]
87cc6a4490
Bump actions/setup-java from 4.8.0 to 5.1.0 ( #8177 )
...
Bumps [actions/setup-java](https://github.com/actions/setup-java ) from 4.8.0 to 5.1.0.
- [Release notes](https://github.com/actions/setup-java/releases )
- [Commits](c1e323688f...f2beeb24e1
2026-02-18 20:57:11 -08:00
dependabot[bot]
29228ca475
Bump actions/checkout from 4.2.2 to 6.0.1 ( #8178 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 4.2.2 to 6.0.1.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v4.2.2...v6.0.1 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.1
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-02-18 20:57:11 -08:00
dependabot[bot]
e208e2f2c1
Bump astral-sh/setup-uv from 5.4.2 to 7.2.0 ( #8179 )
...
Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv ) from 5.4.2 to 7.2.0.
- [Release notes](https://github.com/astral-sh/setup-uv/releases )
- [Commits](d4b2f3b6ec...61cb8a9741
2026-02-18 20:57:10 -08:00
Copilot
f08f97b555
Update API coherence checker to include OCaml bindings and remove Julia ( #8168 )
...
* Initial plan
* Update API coherence checker to include OCaml bindings and remove Julia
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-02-18 20:57:10 -08:00
Copilot
caff1debd3
Add agentic workflow for multi-language API coherence checking ( #8119 )
...
* Initial plan
* Add API coherence checker agentic workflow
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-02-18 20:57:05 -08:00
