Skip to content

fix cometa binary renaming#740

Merged
Gezort merged 1 commit intomainfrom
rename-cometa
Apr 3, 2025
Merged

fix cometa binary renaming#740
Gezort merged 1 commit intomainfrom
rename-cometa

Conversation

@Gezort
Copy link
Copy Markdown
Collaborator

@Gezort Gezort commented Apr 3, 2025

rename cometa binary in nix outputs. this fixes #739

@Gezort Gezort added this pull request to the merge queue Apr 3, 2025
@olegrok olegrok removed this pull request from the merge queue due to a manual request Apr 3, 2025
@Gezort Gezort enabled auto-merge April 3, 2025 14:05
@Gezort Gezort added this pull request to the merge queue Apr 3, 2025
Merged via the queue into main with commit 491c595 Apr 3, 2025
15 checks passed
@Gezort Gezort deleted the rename-cometa branch April 3, 2025 14:19
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.

3 participants