CLI: Add an -O flag for text file output (#244) · cucapra/pollen@6ead079

Triggered via push January 5, 2026 19:32

sampsyo

main

Status Success

Total duration 59s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	70.9 KB	`sha256:55c7560ed30ae8b44945ebf1f821372b6c6deced2752761e8fa3c979fc662f57`