Skip to content

fix: wrong handling of subsumptive clauses in magic transformers (#2567) #964

fix: wrong handling of subsumptive clauses in magic transformers (#2567)

fix: wrong handling of subsumptive clauses in magic transformers (#2567) #964

Triggered via push December 7, 2025 17:38
Status Success
Total duration 41m 28s
Artifacts 5

CI-Tests.yml

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

Annotations

15 warnings and 5 notices
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 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 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 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 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 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 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 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 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
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

Artifacts

Produced during runtime
Name Size Digest
coverage-32bit-0 Expired
586 KB
sha256:20cca7c1f8ae49b7cbdfbe42f254c8fd7608ffacb746551831c734150eb170cf
coverage-32bit-1 Expired
565 KB
sha256:3ba820ad5e25eb83ad0de2cf7fe6b2c19aaa5bc384547533e12fedab41022ef2
coverage-32bit-2 Expired
563 KB
sha256:8d4d52b9c27309f62ddb9b26995e6913886e8870cd52b6eed86f01ff0d603b1f
coverage-32bit-3 Expired
563 KB
sha256:2fd3c3f0027a66469948bcb6a291a1f47a4c6b33531d6e78810028e68f1c40f4
coverage-32bit-4 Expired
578 KB
sha256:d8de2eed8fb4bef5e86b7246fc0c8793be831cdf14b55b08e695298217e2e95d