copilot-bluespec: CHANGELOG contains tab

Description

The changelog of the copilot-bluespec package contains a tab character.

Per our style guide, we should not use tabs anywhere in code, READMEs or CHANGELOGs, unless strictly necessary.

Type

Bug: Changelog contains tab.

Additional context

None.

Requester

Ivan Perez.

Method to check presence of bug

Searching for tabs in the CHANGELOG reveals the existence of a tab:

$ grep -nHre $'\t'   copilot-bluespec/CHANGELOG 
copilot-bluespec/CHANGELOG:14:	* Fix translation of constant floating-point values. (#696)

Expected result

The CHANGELOG of copilot-bluespec contains no tabs.

Desired result

The CHANGELOG of copilot-bluespec contains no tabs.

Proposed solution

Replace any tabs in the CHANGELOG of copilot-bluespec with spaces.

Further notes

None.

Change Manager: Confirmed that the issue exists.

Technical Lead: Confirmed that the issue should be addressed.

@ivanperez-keera

Technical Lead: Issue scheduled for fixing in Copilot 4.8.1.

Fix assigned to: @ivanperez-keera .

copilot-bluespec: Replace tab in CHANGELOG. Refs Copilot-Language#755.

copilot-bluespec: Document changes in CHANGELOG. Refs Copilot-Languag…

Implementor: Solution implemented, review requested.

Change Manager: Verified that:

Solution is implemented:

The code proposed compiles and passes all tests. Details:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/278781996

The solution proposed produces the expected result. Details:
The following Dockerfile checks that the CHANGELOG of copilot-bluespec does not contain any tabs, after which it prints the message "Success":

--- Dockerfile-verify-755
FROM ubuntu:jammy

WORKDIR /root
SHELL ["/bin/bash", "-c"]

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      git

ARG GIT_COMMIT=HEAD
ARG NAME=copilot
ARG REPO=https://github.com/copilot-language/copilot

RUN git clone ${REPO} ${NAME}
RUN cd ${NAME} && git checkout ${GIT_COMMIT}

WORKDIR ${NAME}

RUN ! grep -nHre $'\t' copilot-bluespec/CHANGELOG
RUN echo "Success"

Command (substitute variables based on new path after merge):

$ docker build --build-arg "REPO=https://github.com/ivanperez-keera/copilot" --build-arg "NAME=copilot" --build-arg "GIT_COMMIT=181d8033634c91cb747ef3b59c57dded2d3fbc04" -t copilot-verify-755 -f Dockerfile-verify-755 .

Implementation is documented. Details:
No updates needed; change is to a CHANGELOG.
Change history is clear.
Commit messages are clear.
Changelogs are updated.
Examples are updated. Details:
No updates needed; change is to a CHANGELOG.
Author is internal or has provided signed CLA.
Required version bumps are evaluated. Details:
Bump not needed; change is to a CHANGELOG and does not affect code or public API.

Change Manager: Implementation ready to be merged.

Merge branch 'develop-tab'. Close Copilot-Language#755.

Navigation Menu

Repository navigation

`copilot-bluespec`: CHANGELOG contains tab #755

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

copilot-bluespec: CHANGELOG contains tab #755

Description

Activity

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

`copilot-bluespec`: CHANGELOG contains tab #755