Skip to content
PR number update

Fix 'wrap-comments' not working with the janestreet profile #2084

Sign in to view logs

Fix 'wrap-comments' not working with the janestreet profile

Fix 'wrap-comments' not working with the janestreet profile #2084

Triggered via pull request January 7, 2025 15:26
@JulowJulow
opened #2645
Status Success
Total duration 14s
Artifacts –

pr-number.yml

on: pull_request_target
Update PR number
3s
Update PR number
Fit to window
Zoom out
Zoom in