Skip to content
CI

Change Inhabited to Nonempty in ForcingRelation #2630

Sign in to view logs

Change Inhabited to Nonempty in ForcingRelation

Change Inhabited to Nonempty in ForcingRelation #2630

Re-run triggered February 28, 2026 12:02
@SnO2WMaNSnO2WMaN
#796
copilot/change-inhabited-to-nonempty
Status Success
Total duration 5m 40s
Artifacts 1

ci.yml

on: pull_request
Build project
5m 35s
Build project
Check references.bib format
33s
Check references.bib format
Check mk_all executed
2m 3s
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
34.7 MB
sha256:4778078dfd5b3625a35110831e7873e2c20a1f101676e6a1963baf2ad4f59f3d