Skip to content

Remove binaries from repository#95

Merged
chrispatrick merged 1 commit intomainfrom
remove-binaries-from-repo
Mar 4, 2026
Merged

Remove binaries from repository#95
chrispatrick merged 1 commit intomainfrom
remove-binaries-from-repo

Conversation

@chrispatrick
Copy link
Collaborator

The binaries are too big to be stored in the repository itself. We will instead store them in the release, and then download them within the action itself.

@chrispatrick chrispatrick requested a review from cdupuis as a code owner March 3, 2026 17:39
@chrispatrick chrispatrick merged commit 07724ea into main Mar 4, 2026
2 of 3 checks passed
@chrispatrick chrispatrick deleted the remove-binaries-from-repo branch March 4, 2026 09:47
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.

1 participant