Skip to content
Build docs

Merge pull request #40 from RudolfCardinal/improve_grep_in_openxml #181

Sign in to view logs

Merge pull request #40 from RudolfCardinal/improve_grep_in_openxml

Merge pull request #40 from RudolfCardinal/improve_grep_in_openxml #181

Triggered via push June 16, 2025 13:32
@RudolfCardinalRudolfCardinal
pushed b881316
master
Status Success
Total duration 2m 49s
Artifacts –

docs.yml

on: push
Matrix: build-docs
Fit to window
Zoom out
Zoom in