Repository navigation
copilot: Configure CI to flag tabs #774
Description
Description
The current CI settings do not detect if tabs have been introduced in source code, documentation or CHANGELOGs. That lack of automation makes the accidental introduction of tabs in the code more likely, especially by new users who have not yet configured their editor to replace tabs with spaces.
To facilitate keeping Copilot conformant with the style guide, we want to automatically detect when tabs are introduced and warn users accordingly.
Type
- Feature: Automatically flag code style violations.
Additional context
None.
Requester
- Ivan Perez.
Method to check presence of bug
Not applicable (not a bug).
Expected result
The Travis CI jobs fail if the code, Cabal files, documentation or CHANGELOGs contain any tabs.
Desired result
The Travis CI jobs fail if the code, Cabal files, documentation or CHANGELOGs contain any tabs.
Proposed solution
Modify Travis CI script to stop with an error if any code, Cabal files, documentation or CHANGELOGs contain any tabs.
Further notes
None.
Activity
ivanperez-keera commentedon Oct 12, 2026
Change Manager: Confirmed that the issue exists.
ivanperez-keera commentedon Oct 12, 2026
Technical Lead: Confirmed that the issue should be addressed.
ivanperez-keera commentedon Oct 12, 2026
Technical Lead: Issue scheduled for fixing in Copilot 4.8.2.
Fix assigned to: @ivanperez-keera.
copilot: Adjust Travis CI script to flag presence of tabs as an error…
copilot: Document changes in CHANGELOG. Refs Copilot-Language#774.
ivanperez-keera commentedon Oct 12, 2026
Implementor: Solution implemented, review requested.
ivanperez-keera commentedon Oct 12, 2026
Change Manager: Verified that:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/278978386
This is a change to the CI script, so it's evaluated by visual inspection of the script, as well as by confirming that the step is being executed in CI (https://app.travis-ci.com/github/Copilot-Language/copilot/jobs/641125980#L299).
The line in the script that checks for tabs is accompanied by a comment.
No updates needed; change is to the CI script and does not affect existing examples.
Bump not needed; change is to the CI script and does not affect the code or its public API.
ivanperez-keera commentedon Oct 12, 2026
Change Manager: Implementation ready to be merged.
Merge branch 'develop-travis'. Close Copilot-Language#774.