Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request February 28, 2026 09:09
@SnO2WMaNSnO2WMaN
synchronize #790
SnO2WMaN/issue789
Status Success
Total duration 6m 30s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
35.5 MB
sha256:2b47ba0ef2c627d321e394f45d490f43070cbca42d882547e506f15a9654b22e