Skip to content
Devcontainer

pr: fix header formatting for custom date formats starting with '+' #3019

Sign in to view logs

pr: fix header formatting for custom date formats starting with '+'

pr: fix header formatting for custom date formats starting with '+' #3019

Triggered via pull request November 12, 2025 21:46
@sylvestresylvestre
opened #9252
sylvestre:pr-fix
Status Success
Total duration 4m 10s
Artifacts –

devcontainer.yml

on: pull_request
Verify devcontainer
4m 5s
Verify devcontainer
Fit to window
Zoom out
Zoom in