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.15.1 #729

Merged
merged 1 commit into from
Nov 15, 2023
Merged

Release 0.15.1 #729

merged 1 commit into from
Nov 15, 2023

Conversation

Hoverbear
Copy link
Contributor

Description

Somehow I forgot to push the lock file.

Checklist
  • Formatted with cargo fmt
  • Built with nix build
  • Ran flake checks with nix flake check
  • Added or updated relevant tests (leave unchecked if not applicable)
  • Added or updated relevant documentation (leave unchecked if not applicable)
  • Linked to related issues (leave unchecked if not applicable)
Validating with install.determinate.systems

If a maintainer has added the upload to s3 label to this PR, it will become available for installation via install.determinate.systems:

curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix/pr/$PR_NUMBER | sh -s -- install

@Hoverbear Hoverbear requested a review from cole-h November 15, 2023 01:32
@Hoverbear Hoverbear enabled auto-merge (squash) November 15, 2023 01:33
@Hoverbear Hoverbear added this to the 0.15.0 milestone Nov 15, 2023
@Hoverbear Hoverbear disabled auto-merge November 15, 2023 01:34
@Hoverbear
Copy link
Contributor Author

Sigh, this actually needs to update us to 0.15.1... Our automation won't overwrite the old pushed tag.

@Hoverbear Hoverbear changed the title Fix lock file that didn't get updated Release 0.15.1 Nov 15, 2023
Copy link
Member

@cole-h cole-h left a comment

Choose a reason for hiding this comment

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

RIP.

@Hoverbear Hoverbear merged commit df9610e into main Nov 15, 2023
5 checks passed
@Hoverbear Hoverbear deleted the fix-lock-file branch November 15, 2023 03:04
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