Skip to content

fix: wrong handling of subsumptive clauses in magic transformers #960

fix: wrong handling of subsumptive clauses in magic transformers

fix: wrong handling of subsumptive clauses in magic transformers #960

Triggered via pull request November 19, 2025 14:49
Status Success
Total duration 38m 52s
Artifacts 5

CI-Tests.yml

on: pull_request
Matrix: Test-Setup
Matrix: Ubuntu-CMake
Matrix: AppleM-CMake
Matrix: Memory-Check
Matrix: OSX-CMake
Code-Coverage
39s
Code-Coverage
Fit to window
Zoom out
Zoom in

Annotations

15 warnings and 5 notices
OSX-CMake (chunk 2)
Already linked: /usr/local/Cellar/gcc@12/12.4.0
OSX-CMake (chunk 2)
gcc@12 12.4.0 is already installed and up-to-date. To reinstall 12.4.0, run: brew reinstall gcc@12
OSX-CMake (chunk 2)
libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool
OSX-CMake (chunk 0)
Already linked: /usr/local/Cellar/gcc@12/12.4.0
OSX-CMake (chunk 0)
gcc@12 12.4.0 is already installed and up-to-date. To reinstall 12.4.0, run: brew reinstall gcc@12
OSX-CMake (chunk 0)
libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool
OSX-CMake (chunk 3)
Already linked: /usr/local/Cellar/gcc@12/12.4.0
OSX-CMake (chunk 3)
gcc@12 12.4.0 is already installed and up-to-date. To reinstall 12.4.0, run: brew reinstall gcc@12
OSX-CMake (chunk 3)
libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool
OSX-CMake (chunk 4)
Already linked: /usr/local/Cellar/gcc@12/12.4.0
OSX-CMake (chunk 4)
gcc@12 12.4.0 is already installed and up-to-date. To reinstall 12.4.0, run: brew reinstall gcc@12
OSX-CMake (chunk 4)
libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool
OSX-CMake (chunk 1)
Already linked: /usr/local/Cellar/gcc@12/12.4.0
OSX-CMake (chunk 1)
gcc@12 12.4.0 is already installed and up-to-date. To reinstall 12.4.0, run: brew reinstall gcc@12
OSX-CMake (chunk 1)
libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool
OSX-CMake (chunk 2)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
OSX-CMake (chunk 0)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
OSX-CMake (chunk 3)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
OSX-CMake (chunk 4)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
OSX-CMake (chunk 1)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046

Artifacts

Produced during runtime
Name Size Digest
coverage-32bit-0 Expired
586 KB
sha256:16f3becfaae441f4588bf52b8bbf1b9e679f49e0ba242df28be2632cff265dd9
coverage-32bit-1 Expired
565 KB
sha256:7dc7592c1f4aa7eb6207f04f009c32ae640b1b5a2b399bf466f52a932552e3ea
coverage-32bit-2 Expired
563 KB
sha256:5e2eb7e2920e60d9c1cd1623ce40e28fe861cb3c40f4176d6ec96e6e8d91b6c1
coverage-32bit-3 Expired
563 KB
sha256:27c12c1be2db79988b614e6c384fbb6ad835c3575bd24aee701e4d8fcdafca13
coverage-32bit-4 Expired
577 KB
sha256:03c2158fb2b3feee8f5cc5704d4431c9a22e4b6fdb7c71592d0cc42add71db3e