Fix typos in Abstract Logics · OpenLogicProject/OpenLogic@08e3042

Triggered via push February 15, 2026 21:00

rzach

master

Status Success

Total duration 4m 51s

Artifacts 1

build.yml

on: push

Produced during runtime

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