Skip to content
Build LaTeX document

Wrap lines to ~80 chars #101

Sign in to view logs

Wrap lines to ~80 chars

Wrap lines to ~80 chars #101

Triggered via pull request March 30, 2025 17:22
@StanFromIrelandStanFromIreland
opened #392
StanFromIreland:update-docs
Status Success
Total duration 5m 2s
Artifacts 1

build.yml

on: pull_request
build_latex
4m 57s
build_latex
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
open-logic-debug.pdf Expired
3.78 MB
sha256:56370bc80043280719cdec3694057508fa2c3cabb88c7f3d7bc077983c8363c4