Skip to content
CI

add(Modal/Kripke): Rewriting to only Model based semantics #2609

Sign in to view logs

add(Modal/Kripke): Rewriting to only Model based semantics

add(Modal/Kripke): Rewriting to only Model based semantics #2609

Triggered via pull request February 25, 2026 04:03
@SnO2WMaNSnO2WMaN
opened #790
SnO2WMaN/issue789
Status Failure
Total duration 5m 41s
Artifacts 1

ci.yml

on: pull_request
Build project
5m 36s
Build project
Check references.bib format
28s
Check references.bib format
Check mk_all executed
1m 54s
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.9 MB
sha256:6bfcb6d50932621a272a4d9eaed4fd830ab2b415eb78dde85c8a63b6137a496a