elaborating on trees · OpenLogicProject/OpenLogic@5a73382

Triggered via push June 27, 2025 02:27

rzach

master

Status Success

Total duration 5m 11s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf Expired	3.64 MB	`sha256:4fb1718d9acbc7dbf18106a26836c54d7bef56c5e13600f6b2c5e32b802dd359`