Skip to content
Build and Deploy Docs to GitHub Pages

repair gzcat vs gzcat in after_download script, give sed vs gsed the … #261

Sign in to view logs

repair gzcat vs gzcat in after_download script, give sed vs gsed the …

repair gzcat vs gzcat in after_download script, give sed vs gsed the … #261

Triggered via push September 11, 2024 21:27
@kevinschaperkevinschaper
pushed 72a0ed2
main
Status Success
Total duration 1m 18s
Artifacts –

pages.yaml

on: push
build-docs
1m 8s
build-docs
Fit to window
Zoom out
Zoom in