Skip to content

Conversation

@robtaylor
Copy link
Contributor

Avoids clash with amaranth-soc entity of same name

@github-actions
Copy link

github-actions bot commented May 1, 2025

Tests Skipped Failures Errors Time
92 7 💤 0 ❌ 0 🔥 1.497s ⏱️

@github-actions
Copy link

github-actions bot commented May 1, 2025

PR Preview Action v1.6.1
Preview removed because the pull request was closed.
2025-06-23 07:50 UTC

@robtaylor robtaylor requested review from gatecat, lanserge and mooperd May 1, 2025 21:20
@robtaylor robtaylor force-pushed the rename-pinsignature branch 2 times, most recently from 4c85d12 to 8079ea9 Compare May 2, 2025 10:05
@mooperd
Copy link
Contributor

mooperd commented May 2, 2025

This is already getting to be a very large PR, is it possible to split it out? Especially the CI/CD changes from the PinSignature stuff?

Copy link
Contributor

@gatecat gatecat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM on the actual renaming - haven't looked at the CI stuff

Avoids clash with amaranth-soc entity of same name
@robtaylor robtaylor force-pushed the rename-pinsignature branch from 8079ea9 to 705762a Compare June 7, 2025 16:52
@robtaylor robtaylor merged commit 938a7b9 into main Jun 23, 2025
6 checks passed
@robtaylor robtaylor deleted the rename-pinsignature branch June 23, 2025 07:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants