Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request March 2, 2026 11:19
@SnO2WMaNSnO2WMaN
opened #801
prop-kripke-refactor
Status Failure
Total duration 4m 17s
Artifacts 1

ci.yml

on: pull_request
Build project
4m 12s
Build project
Check references.bib format
31s
Check references.bib format
Check mk_all executed
1m 56s
Check mk_all executed
Generate page
Generate page
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
34.7 MB
sha256:91c1afe79117b4c52823cfaa23e0ecc9536c777f6aa5d6112c48f0a892ee027e