Skip to content
make-tests

Allow export (but not model checking) of negative rewards #347

Sign in to view logs

Allow export (but not model checking) of negative rewards

Allow export (but not model checking) of negative rewards #347

Triggered via pull request September 3, 2025 16:29
@davexparkerdavexparker
opened #262
davexparker:negative-rewards
Status Success
Total duration 13m 1s
Artifacts –

make-tests.yml

on: pull_request
Matrix: build-win
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 2 notices
build-win (21)
The process 'C:\cygwin\bin\git.exe' failed with exit code 128
build-win (11)
The process 'C:\cygwin\bin\git.exe' failed with exit code 128
build-win (21)
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
build-win (11)
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