Skip to content

Make checkpoints required by default (#273) #107

Make checkpoints required by default (#273)

Make checkpoints required by default (#273) #107

Triggered via push September 27, 2025 07:10
Status Success
Total duration 2m 53s
Artifacts 1

release.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 notice
release
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677

Artifacts

Produced during runtime
Name Size Digest
build_-9cdf0f6fd181c6a15eb07aee187b98c701311563 Expired
19.2 MB
sha256:76a2152dc55b603a27ecb05263692cf7d05de2e911842c1b2c1d3f381c08ca62