Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Workflow to split the bundle into components #216

Merged
merged 7 commits into from
Sep 21, 2020
Merged

Workflow to split the bundle into components #216

merged 7 commits into from
Sep 21, 2020

Conversation

marcogario
Copy link
Contributor

Manual workflow to split a codeql bundle into components.

It requires to know both the CLI version and the bundle tag. I tried to trigger this with a new release event, but that was too fragile and prone to errors. Also, right now, I think we cannot know the CLI version in a bundle without running ./codeql --version.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.

Copy link
Contributor

@robertbrignull robertbrignull left a comment

Choose a reason for hiding this comment

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

Workflow looks good to me so long as it's tested and works. The bit about finding the upload URL is unfortunately a bit hacky, but it seems fine.

As noted in person, we should move in the future to having the per-platform bundles be generated alongside the full bundle, but as the release is currently in progress that will have to wait until next time. I see no problem having this workflow here in the meantime until the codeql/bundle release process is updated.

.github/workflows/split.yml Outdated Show resolved Hide resolved
.github/workflows/split.yml Outdated Show resolved Hide resolved
marcogario and others added 2 commits September 21, 2020 18:12
@marcogario marcogario merged commit 427c79f into main Sep 21, 2020
@marcogario marcogario deleted the split_bundle branch September 21, 2020 16:19
@github-actions github-actions bot mentioned this pull request Sep 28, 2020
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