Skip to content
CI

v2: Don't merge tables when creating Problem #3021

Sign in to view logs

v2: Don't merge tables when creating Problem

v2: Don't merge tables when creating Problem #3021

Triggered via pull request July 21, 2025 13:24
@dweindldweindl
synchronize #405
dweindl:feature_separate_tables
Status Success
Total duration 6m 44s
Artifacts –

ci_tests.yml

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

Annotations

4 notices
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
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