Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request March 11, 2026 07:48
@SnO2WMaNSnO2WMaN
synchronize #801
prop-kripke-refactor
Status Failure
Total duration 2m 0s
Artifacts –

ci.yml

on: pull_request
Check mk_all executed
1m 55s
Check mk_all executed
Check references.bib format
30s
Check references.bib format
Build project
0s
Build project
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check mk_all executed
Process completed with exit code 1.