cadical: Make sure to initialize external propagator prior to adding … #1177

Sign in to view logs

Triggered via push October 3, 2024 18:24

mpreiner

cadical-fix-init

Status Success

Total duration 43m 12s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.83 MB