fix typo; closes #415 · OpenLogicProject/OpenLogic@08c0fa2

Triggered via push November 26, 2025 21:13

rzach

master

Status Success

Total duration 5m 10s

Artifacts 1

build.yml

on: push

Produced during runtime

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