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.

Sign up for GitHub

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

Jump to bottom

bump: iohk-nix #5241

Merged
merged 3 commits into from
May 19, 2023
Merged

bump: iohk-nix #5241

merged 3 commits into from
May 19, 2023

Conversation

johnalotoski
Copy link
Contributor

@johnalotoski johnalotoski commented May 12, 2023 •
edited

Description

  • Bumps iohk-nix and adjust md links for updated refs
  • Adjusts the flake iohkNix crypto overlay position for crypto lib pinning

@johnalotoski johnalotoski added the WIP Work In Progress (cannot be merged yet) label May 12, 2023
@johnalotoski johnalotoski requested review from a team, deepfire, mgmeier and fmaste as code owners May 12, 2023 17:59
@johnalotoski johnalotoski force-pushed the jlotoski/iohk-nix-bump branch 5 times, most recently from 3e4b905 to 1d473ec Compare May 16, 2023 21:35
@johnalotoski johnalotoski requested a review from a team as a code owner May 16, 2023 22:25
@johnalotoski johnalotoski force-pushed the jlotoski/iohk-nix-bump branch 2 times, most recently from c77abb9 to 05390dc Compare May 17, 2023 00:11
@johnalotoski johnalotoski force-pushed the jlotoski/iohk-nix-bump branch 2 times, most recently from 0ed13f2 to 28a5421 Compare May 18, 2023 22:29
@johnalotoski johnalotoski removed WIP Work In Progress (cannot be merged yet) DO NOT MERGE labels May 19, 2023
angerman
angerman approved these changes May 19, 2023
View reviewed changes
Copy link
Contributor

@angerman angerman left a comment

Choose a reason for hiding this comment

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

Thank you! LGTM.

@angerman angerman enabled auto-merge May 19, 2023 04:42
@angerman angerman added this pull request to the merge queue May 19, 2023
Merged via the queue into master with commit 8209c68 May 19, 2023
24 of 25 checks passed
@iohk-bors iohk-bors bot deleted the jlotoski/iohk-nix-bump branch May 19, 2023 08:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@angerman angerman angerman approved these changes

@erikd erikd erikd approved these changes

@deepfire deepfire deepfire approved these changes

@olgahryniuk olgahryniuk olgahryniuk approved these changes

@mgmeier mgmeier Awaiting requested review from mgmeier

@fmaste fmaste Awaiting requested review from fmaste

Assignees

@angerman angerman

@johnalotoski johnalotoski

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@johnalotoski @angerman @erikd @deepfire @olgahryniuk