2 commits

Author	SHA1	Message	Date
dependabot[bot]	9fef7ce932	Bump actions/setup-dotnet from 4 to 5 (#8485) ... Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 4 to 5. - [Release notes](https://github.com/actions/setup-dotnet/releases) - [Commits](https://github.com/actions/setup-dotnet/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/setup-dotnet dependency-version: '5' 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:58:02 -08:00
Copilot	8c6ecc79da	[WIP] Add workflow to validate nightly build (#8476) ... * Initial plan * Add nightly-validation workflow for validating nightly builds 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:58:02 -08:00