add trees section also to relatiions-complete.tex · OpenLogicProject/OpenLogic@c19c4b9

Triggered via push June 27, 2025 03:04

rzach

master

Status Success

Total duration 5m 19s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf Expired	3.65 MB	`sha256:915fca633a3907f0fc6199824021d7879e8ca7f307e3609aa424c605dd467b2e`