Skip to content
Manual

git-commit: Ignore leading comment when inserting headers #382

Sign in to view logs

git-commit: Ignore leading comment when inserting headers

git-commit: Ignore leading comment when inserting headers #382

Triggered via push October 15, 2023 20:14
@tarsiustarsius
pushed dd14e0c
main
Status Success
Total duration 2m 19s
Artifacts –

manual.yml

on: push
Manual  /  Generate manual
2m 10s
Manual / Generate manual
Fit to window
Zoom out
Zoom in