Skip to content
CI

add(FirstOrder/SetTheory): Add definability #2620

Sign in to view logs

add(FirstOrder/SetTheory): Add definability

add(FirstOrder/SetTheory): Add definability #2620

Triggered via pull request February 27, 2026 10:37
@ConvindixConvindix
synchronize #791
master
Status Success
Total duration 28m 7s
Artifacts 1

ci.yml

on: pull_request
Build project
28m 2s
Build project
Check references.bib format
27s
Check references.bib format
Check mk_all executed
6m 39s
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:e70ba9213d40c9875e3184d0ceabdaab84a06708ddbdf1a6f61ac5f3818c23ff