CI

add(Propositional/Kripke): Rewriting model-based semantics #2686

Sign in to view logs

Triggered via pull request March 20, 2026 12:38

SnO2WMaN

synchronize #801

prop-kripke-refactor

Status Failure

Total duration 4m 1s

Artifacts –

ci.yml

on: pull_request

Check mk_all executed

Check references.bib format

Annotations

1 error

Build project

Process completed with exit code 1.