Skip to content

chore: replace openlane by librelane in tool_metadata.yml#201

Merged
donn merged 1 commit intoAUCOHL:mainfrom
IAmMarcelJung:chore/update-tool-metadata
Nov 10, 2025
Merged

chore: replace openlane by librelane in tool_metadata.yml#201
donn merged 1 commit intoAUCOHL:mainfrom
IAmMarcelJung:chore/update-tool-metadata

Conversation

@IAmMarcelJung
Copy link
Contributor

This just replaces openlane by librelane in tool_metadata.yml, which was probably just overlooked in #200 :)

If this was however left in deliberately, just let me know.

@donn
Copy link
Member

donn commented Nov 10, 2025

No, perfect! We don't exactly use this entry in tool_metadata.yml anymore but it might be good for traceability

@donn donn merged commit ba52684 into AUCOHL:main Nov 10, 2025
2 checks passed
@IAmMarcelJung IAmMarcelJung deleted the chore/update-tool-metadata branch November 10, 2025 18:44
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.

2 participants