improve printtoken; some better definitions for rule names · OpenLogicProject/OpenLogic@fd94b81

Triggered via push February 9, 2026 17:52

rzach

master

Status Success

Total duration 4m 29s

Artifacts 1

build.yml

on: push

Produced during runtime

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