cadical: Properly disable obsolete activation literals. #1176

Sign in to view logs

Triggered via push October 3, 2024 18:16

mpreiner

cadical-fix-disable-alits

Status Success

Total duration 40m 14s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.83 MB