Skip to content
PR number update

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

Sign in to view logs

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

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

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

pr-number.yml

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