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

Release 0.19.0-alpha.10 #7764

Merged
merged 1 commit into from
Oct 16, 2024
Merged

Release 0.19.0-alpha.10 #7764

merged 1 commit into from
Oct 16, 2024

Conversation

rerun-bot
Copy link
Collaborator

@rerun-bot rerun-bot commented Oct 16, 2024

Next steps

  • Test the release
  • If this is an 'alpha' release, you can just merge the pull request.
  • Otherwise:
    • For any added commits, run the release workflow in 'rc' mode again
    • After testing, _ensure that this PR is mergeable to _, then run the release workflow in 'release' mode
    • Once the final release workflow finishes it will create a GitHub release for you. Then:
      • Sanity check the build artifacts:
        • pip install: does it install and run?
        • cargo install of cli tool: does it install and run?
        • C++ SDK zip: does it contain rerun_c for all platforms?
      • Populate the release with the changelog and a nice header video/picture, check , then click .
      • Update the google colab notebooks to install this version and re-execute the notebook.

A few hours after the GitHub release is created, will create a
conda feedstock PR.
Make sure Jeremy is on top of it!

  • Tests
    • Windows
    • Linux
    • MacOS

@rerun-bot rerun-bot added ⛴ release Related to shipping or publishing exclude from changelog PRs with this won't show up in CHANGELOG.md labels Oct 16, 2024
Copy link

github-actions bot commented Oct 16, 2024

Deployed docs

Commit Link
f84b9cb https://landing-qqs4c6nxp-rerun.vercel.app/docs

@emilk emilk marked this pull request as draft October 16, 2024 07:37
@emilk emilk added the do-not-merge Do not merge this PR label Oct 16, 2024
@emilk
Copy link
Member

emilk commented Oct 16, 2024

DO NOT MERGE! Some of these commits needs to be split out as separate PRs first!

@emilk emilk removed the do-not-merge Do not merge this PR label Oct 16, 2024
@emilk emilk marked this pull request as ready for review October 16, 2024 09:08
@emilk emilk merged commit eed991c into main Oct 16, 2024
23 of 30 checks passed
@emilk emilk deleted the release-0.19.0-alpha.10 branch October 16, 2024 09:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
exclude from changelog PRs with this won't show up in CHANGELOG.md ⛴ release Related to shipping or publishing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants