\overline{B} -> \overline{A} · OpenLogicProject/OpenLogic@88757bd

Triggered via push October 1, 2025 15:57

rzach

master

Status Success

Total duration 5m 15s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf Expired	3.67 MB	`sha256:38e204d1836060d948dbcc9e1a3aee1eb31de5b58e6d4965b16b57065b67bc81`