Skip to content
CI

Move LabelledGentzen/ToString to a new ProvabilityLogicPlayground lib #2

Sign in to view logs

Move LabelledGentzen/ToString to a new ProvabilityLogicPlayground lib

Move LabelledGentzen/ToString to a new ProvabilityLogicPlayground lib #2

Triggered via push July 10, 2026 09:25
@SnO2WMaNSnO2WMaN
pushed 0d0c517
main
Status Success
Total duration 18m 2s
Artifacts 2

ci.yml

on: push
Check mk_all executed
2m 4s
Check mk_all executed
Check references.bib format
29s
Check references.bib format
Build project
15m 30s
Build project
Generate page
14s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Check references.bib format
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: extractions/setup-crate@4993624604c307fbca528d28a3c8b60fa5ecc859. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Check mk_all executed
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: extractions/setup-crate@4993624604c307fbca528d28a3c8b60fa5ecc859. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build project
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: extractions/setup-crate@4993624604c307fbca528d28a3c8b60fa5ecc859, 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
1.28 MB
sha256:21d00e9a9200aa1fbcf37865f36c7751897f2522d2506c0c14b321433086a215
lean-artifacts Expired
1.28 MB
sha256:ff7f37b5ad05e264b5b4ff9c2022f5e0a7acc22a40375f4ddf37fc7a8ad8f634