type; fixes #405 · OpenLogicProject/OpenLogic@36cc6b5

Triggered via push October 1, 2025 15:51

rzach

master

Status Success

Total duration 5m 12s

Artifacts 1

build.yml

on: push

Produced during runtime

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