Skip to content
CI

add(FirstOrder/SetTheory): Add definability #2617

Sign in to view logs

add(FirstOrder/SetTheory): Add definability

add(FirstOrder/SetTheory): Add definability #2617

Triggered via pull request February 26, 2026 20:22
@ConvindixConvindix
opened #791
master
Status Success
Total duration 29m 12s
Artifacts 1

ci.yml

on: pull_request
Build project
29m 8s
Build project
Check references.bib format
26s
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:b01ce0373735fe30db10fa464a5fef5c84d7fbf06d553510cceb8e3279907427