Skip to content
Lint

Merge pull request #1235 from vergenzt/gh-1234-build-man-pages #154

Sign in to view logs

Merge pull request #1235 from vergenzt/gh-1234-build-man-pages

Merge pull request #1235 from vergenzt/gh-1234-build-man-pages #154

Triggered via push March 27, 2024 18:43
@jpmckinneyjpmckinney
pushed 847db64
master
Status Success
Total duration 35s
Artifacts –

lint.yml

on: push
build
26s
build
Fit to window
Zoom out
Zoom in