Skip to content
CI

add(Incompleteness): First incompleteness theorem from the halting pr… #2751

Sign in to view logs

add(Incompleteness): First incompleteness theorem from the halting pr…

add(Incompleteness): First incompleteness theorem from the halting pr… #2751

Triggered via push July 4, 2026 02:18
@SnO2WMaNSnO2WMaN
pushed 71b57f2
master
Status Success
Total duration 7m 38s
Artifacts 2

ci.yml

on: push
Check mk_all executed
1m 55s
Check mk_all executed
Check references.bib format
23s
Check references.bib format
Build project
4m 55s
Build project
Generate page
37s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ts-graphviz/setup-graphviz@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
28.8 MB
sha256:efc56667b22ffeb182a00763efe58f3c4d7abd70991ed479e5ef31e737b7d155
lean-artifacts Expired
32.5 MB
sha256:83055fa245a680c212ba0830598c16d49deca028627d4c798658fb6fb3d0f73f