Skip to content

Adding support for Cadical in "lutexact". #821

Adding support for Cadical in "lutexact".

Adding support for Cadical in "lutexact". #821

Triggered via push November 11, 2025 21:24
Status Success
Total duration 5m 15s
Artifacts 4

build-posix.yml

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

Annotations

2 warnings
build-posix (macos-latest, true)
readline 8.3.1 is already installed and up-to-date. To reinstall 8.3.1, run: brew reinstall readline
build-posix (macos-latest, false)
readline 8.3.1 is already installed and up-to-date. To reinstall 8.3.1, run: brew reinstall readline

Artifacts

Produced during runtime
Name Size Digest
package-posix-macos-latest-false Expired
72.3 MB
sha256:04f6a934aa0f025246e2aa9f4e69e0be01ae82d196b3a0b80794fde10773b92f
package-posix-macos-latest-true Expired
75.7 MB
sha256:927f3be3f71c7791058e09f7c52c2b281743ea4d1a1cc28e5f98320604b85ec3
package-posix-ubuntu-latest-false Expired
140 MB
sha256:680534f336f03df05d5090a605985bffacd279dfbdc88df6d7dae64eef7d973f
package-posix-ubuntu-latest-true Expired
148 MB
sha256:50acacf98172a0afcea86e7c5d4b0ae900c40759b753e5d46e93f2d7aae5ca2a