Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request February 27, 2026 07:28
@SnO2WMaNSnO2WMaN
synchronize #790
SnO2WMaN/issue789
Status Success
Total duration 5m 42s
Artifacts 1

ci.yml

on: pull_request
Build project
5m 37s
Build project
Check references.bib format
27s
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

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
35.2 MB
sha256:9b30acd701696781d6e7189562da783bd166a3d2c89ceeb09b88a8bf4a3b085a