trace2: tolerate failed timestamp formatting#2178
Open
derrickstolee wants to merge 1 commit into
Open
GitGitGadget / handle_pr_comment
succeeded
Jul 15, 2026 in 1m 15s
Handle PR comment
Handling PR comment #2178 (comment)
Details
This handles #2178 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/29431340080 for details.
Loading