Build LaTeX document · OpenLogicProject/OpenLogic@fa2e528

Triggered via push February 9, 2026 17:41

rzach

master

Status Success

Total duration 5m 21s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.67 MB	`sha256:8eb98d64ddb52edaae99cc96f99410ef001f4695117f15c52afa40ce5a97a486`