Skip to content
CI

refactor: Move from Bootstrapping to Incompleteness (#779) #2584

Sign in to view logs

refactor: Move from Bootstrapping to Incompleteness (#779)

refactor: Move from Bootstrapping to Incompleteness (#779) #2584

Triggered via push February 21, 2026 05:40
@iehalityiehality
pushed 537d5b2
master
Status Success
Total duration 8m 23s
Artifacts 1

ci.yml

on: push
Build project
7m 39s
Build project
Check references.bib format
27s
Check references.bib format
Check mk_all executed
1m 53s
Check mk_all executed
Generate page
36s
Generate page
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
34.8 MB
sha256:36078ea1336387b0583c952a9f564223567bc41a998fadb6e34aec8aa642504b