Skip to content
CI

add/fix(FirstOrder/SetTheory): Add value of function and definability #2605

Sign in to view logs

add/fix(FirstOrder/SetTheory): Add value of function and definability

add/fix(FirstOrder/SetTheory): Add value of function and definability #2605

Triggered via pull request February 24, 2026 03:10
@ConvindixConvindix
synchronize #786
master
Status Success
Total duration 5m 49s
Artifacts 1

ci.yml

on: pull_request
Build project
5m 44s
Build project
Check references.bib format
28s
Check references.bib format
Check mk_all executed
2m 6s
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.8 MB
sha256:56dab606ef25e579a08314725358b9b803b35eecad2b6ac03b88ae71dfd49426