Skip to content
CI

add(FirstOrder/SetTheory): Add definability (#791) #2622

Sign in to view logs

add(FirstOrder/SetTheory): Add definability (#791)

add(FirstOrder/SetTheory): Add definability (#791) #2622

Triggered via push February 27, 2026 11:40
@SnO2WMaNSnO2WMaN
pushed 7b9155c
master
Status Success
Total duration 30m 6s
Artifacts 2

ci.yml

on: push
Build project
29m 18s
Build project
Check references.bib format
27s
Check references.bib format
Check mk_all executed
1m 59s
Check mk_all executed
Generate page
37s
Generate page
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
30.2 MB
sha256:9cf868c59adde7688e2b0ac9078c2d279cea0c448b5ad44fdadc39aa6c91886e
lean-artifacts Expired
34.9 MB
sha256:8ed8174ca5b80a87ad6e4e7eb28cc44ef8def2c47b9d86b6e29d421dedec80b5