Skip to content

Fix user-friendly job names so that they are the same as in the manager menu #6143

Fix user-friendly job names so that they are the same as in the manager menu

Fix user-friendly job names so that they are the same as in the manager menu #6143

Re-run triggered December 5, 2025 08:09
Status Success
Total duration 7m 45s
Artifacts –

build.yml

on: pull_request
Matrix: test / build-linux
test  /  ...  /  Build win64
5m 12s
test / Windows MSVC / Build win64
test  /  ...  /  Test (ubuntu, gcc-11, default plugins, default config)
1m 4s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)
test  /  ...  /  Test (ubuntu, gcc-12, all plugins, default config)
1m 5s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)
test  /  ...  /  Test (windows, msvc, default plugins, default config)
1m 6s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)
test  /  ...  /  Test (windows, msvc, default plugins, empty config)
2m 24s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)
Attempt 1 failed. Reason: Child_process exited with error code 1