Skip to content
CI

v2: Don't merge tables when creating Problem (#405) #3022

Sign in to view logs

v2: Don't merge tables when creating Problem (#405)

v2: Don't merge tables when creating Problem (#405) #3022

Triggered via push July 21, 2025 14:09
@dweindldweindl
pushed fb36efa
main
Status Success
Total duration 6m 6s
Artifacts –

ci_tests.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 notices
build (macos-latest, 3.10)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
build (macos-latest, 3.10)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
build (macos-latest, 3.13)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
build (macos-latest, 3.13)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520