Skip to content
CI

add(Modal/Kripke): Remove IsRootedBy and add F.Root #2607

Sign in to view logs

add(Modal/Kripke): Remove IsRootedBy and add F.Root

add(Modal/Kripke): Remove IsRootedBy and add F.Root #2607

Triggered via pull request February 24, 2026 14:44
@SnO2WMaNSnO2WMaN
synchronize #783
SnO2WMaN/issue764
Status Success
Total duration 51m 50s
Artifacts 1

ci.yml

on: pull_request
Build project
7m 6s
Build project
Check references.bib format
51m 29s
Check references.bib format
Check mk_all executed
2m 1s
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
34.9 MB
sha256:2c53e5c960e0a8756de21aa08c1669a5642e85b0f5b159b948ed6e2ecd0cdc1a