Skip to content
Back to pull request #14093

Rocq --config Fix #39198

Sign in to view logs

Rocq --config Fix

Rocq --config Fix #39198

Ensure no files with CRLF line endings are committed to the repo

Ensure no files with CRLF line endings are committed to the repo
succeeded Apr 10, 2026 in 4s