Update replacement.tex · OpenLogicProject/OpenLogic@db10cd7

Triggered via pull request November 10, 2025 17:12

rzach

opened #412

timbutton:patch-2

Status Success

Total duration 5m 9s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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