Skip to content
CI

refactor(Incompleteness): Provability Abstraction Pt.3 #2632

Sign in to view logs

refactor(Incompleteness): Provability Abstraction Pt.3

refactor(Incompleteness): Provability Abstraction Pt.3 #2632

Triggered via pull request February 28, 2026 19:36
@SnO2WMaNSnO2WMaN
opened #797
refactor-drv
Status Success
Total duration 8m 4s
Artifacts 1

ci.yml

on: pull_request
Build project
8m 0s
Build project
Check references.bib format
31s
Check references.bib format
Check mk_all executed
1m 57s
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.7 MB
sha256:19ec652fe36830c05ddfae33723e9771b7e1444a1f2bddda691c7f4ef5185f79