Rename `rexindex` `cli` `rename` with `compress` option · Living-with-machines/alto2txt2fixture@72d8527

Triggered via pull request October 1, 2023 20:46

griff-rees

synchronize #63

cli-compress

Status Success

Total duration 6m 14s

Artifacts 1

ci.yaml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
coverage-badge Expired	925 Bytes