Skip to content

Merge pull request #2569 from souffle-lang/ground_typecast #967

Merge pull request #2569 from souffle-lang/ground_typecast

Merge pull request #2569 from souffle-lang/ground_typecast #967

Triggered via push December 10, 2025 09:44
Status Cancelled
Total duration 34m 34s
Artifacts 5

CI-Tests.yml

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

Annotations

5 errors and 5 notices
OSX-CMake (chunk 0)
The macOS-13 based runner images are now retired. For more details, see https://github.com/actions/runner-images/issues/13046.
OSX-CMake (chunk 2)
The macOS-13 based runner images are now retired. For more details, see https://github.com/actions/runner-images/issues/13046.
OSX-CMake (chunk 4)
The macOS-13 based runner images are now retired. For more details, see https://github.com/actions/runner-images/issues/13046.
OSX-CMake (chunk 3)
The macOS-13 based runner images are now retired. For more details, see https://github.com/actions/runner-images/issues/13046.
OSX-CMake (chunk 1)
The macOS-13 based runner images are now retired. 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 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 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 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:dc767a8150c0206f0f905c8f41aee2443f21052d1eeb794e16fecf45110d776a
coverage-32bit-1 Expired
565 KB
sha256:67af1b29f8cea0897fb87bcb17b5850a994a4370fc6f01758736b6987ad1406a
coverage-32bit-2 Expired
563 KB
sha256:c648068e5e115b0e6aa01a15d29b535c7013c6151ad893498603f61cddfc15ab
coverage-32bit-3 Expired
563 KB
sha256:c67215e0d036e0fcd9a423f2d277a1e21ce9164fe1a3e817b8f8b1da614b532c
coverage-32bit-4 Expired
577 KB
sha256:1f9b6dd4c204a47e59302565b075f95ebc13f6663c440d53fa15d847638327ef