update to net10#10

Merged

pictos merged 6 commits intomainfrom

update-to-net-10

Nov 17, 2025

Commits on Nov 17, 2025

update to net10

Pedro Jesus
authored and
Pedro Jesus
committed
just try

Pedro Jesus
authored and
Pedro Jesus
committed
test windows target again

Pedro Jesus
authored and
Pedro Jesus
committed
add -f on windows again

Pedro Jesus
authored and
Pedro Jesus
committed
bump mac agent

Pedro Jesus
authored and
Pedro Jesus
committed
bump macos image

Pedro Jesus
authored and
Pedro Jesus
committed