CI

refactor(Propositional): Redesign Hilbert Systems #2681

Sign in to view logs

Triggered via pull request March 18, 2026 19:11

SnO2WMaN

synchronize #812

redesign-propositional-logic

Status Failure

Total duration 13m 36s

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.