Skip to content
Build LaTeX document

Fix typos in Basics of Model Theory #147

Sign in to view logs

Fix typos in Basics of Model Theory

Fix typos in Basics of Model Theory #147

Triggered via pull request November 21, 2025 00:10
@FnControlOptionFnControlOption
opened #414
FnControlOption:patch-3
Status Success
Total duration 5m 17s
Artifacts 1

build.yml

on: pull_request
build_latex
5m 13s
build_latex
Fit to window
Zoom out
Zoom in

Artifacts

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