typo; closes #420 · OpenLogicProject/OpenLogic@302e25d

Triggered via push February 15, 2026 20:59

rzach

master

Status Success

Total duration 5m 30s

Artifacts 1

build.yml

on: push

Produced during runtime

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