Skip to content

Implement pgindent-headers Makefile rule #31

Implement pgindent-headers Makefile rule

Implement pgindent-headers Makefile rule #31

Triggered via push December 27, 2023 11:29
Status Success
Total duration 45s
Artifacts 1

deploy-docs.yml

on: push
Deploy Docs
31s
Deploy Docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
380 KB