Skip to content
Build LaTeX document

Fix typos #124

Sign in to view logs

Fix typos

Fix typos #124

Triggered via pull request August 21, 2025 14:33
@yiannis-hadyiannis-had
synchronize #400
yiannis-had:patch-1
Status Success
Total duration 4m 53s
Artifacts 1

build.yml

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

Artifacts

Produced during runtime
Name Size Digest
open-logic-debug.pdf
3.67 MB
sha256:eb1555532cff2b82f668a2f5078bb027829385e4f3d05c96472a1b5dabdec44f