Skip to content

[WIP] Move binaries to additional tools instead of 3rd-party#23

Merged
egorsmkv merged 2 commits intomainfrom
copilot/move-binaries-to-additional-tools
Oct 28, 2025
Merged

[WIP] Move binaries to additional tools instead of 3rd-party#23
egorsmkv merged 2 commits intomainfrom
copilot/move-binaries-to-additional-tools

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Oct 28, 2025

Move audio-from-video, data-viewer-audio, and audio-parquet-merger from 3rd-party tools to additional tools

  • Update README.md to move the three binaries from "3rd-party Tools" section to "Additional Tools" section
  • Update .github/workflows/download-and-release.yml to:
    • Download the three binaries to /tmp/ instead of /tmp/3dparty-bins/
    • Include them in the additional-tools.zip archive instead of 3rd-party-bins.zip
    • Add chmod and strip commands for these binaries
  • Verify check_versions.py works correctly with the changes (no modifications needed)
Original prompt

This section details on the original issue you should resolve

<issue_title>Move these binaries to additional tools instead of 3rd-party</issue_title>
<issue_description>audio-from-video: Extract audio tracks from video files
data-viewer-audio: View and inspect audio dataset information
audio-parquet-merger: Merge multiple audio parquet files</issue_description>

Comments on the Issue (you are @copilot in this section)


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

… additional tools

Co-authored-by: egorsmkv <7875085+egorsmkv@users.noreply.github.com>
@egorsmkv egorsmkv marked this pull request as ready for review October 28, 2025 21:34
@egorsmkv egorsmkv merged commit 2329406 into main Oct 28, 2025
2 checks passed
@egorsmkv egorsmkv deleted the copilot/move-binaries-to-additional-tools branch October 28, 2025 21:34
Copilot AI requested a review from egorsmkv October 28, 2025 21:34
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.

Move these binaries to additional tools instead of 3rd-party

2 participants