Skip to content

Auditor: fix concurrent push bug#1398

Merged
giordano merged 1 commit into
masterfrom
ib/fixes
Jul 23, 2025
Merged

Auditor: fix concurrent push bug#1398
giordano merged 1 commit into
masterfrom
ib/fixes

Conversation

@IanButterworth

Copy link
Copy Markdown
Member

No description provided.

IanButterworth added a commit to JuliaPackaging/Yggdrasil that referenced this pull request Jul 17, 2025

@giordano giordano left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Looks good, but need to drop the first commit.

@IanButterworth IanButterworth marked this pull request as ready for review July 22, 2025 19:33
IanButterworth added a commit to JuliaPackaging/Yggdrasil that referenced this pull request Jul 23, 2025
@giordano giordano merged commit eeab2e2 into master Jul 23, 2025
11 checks passed
@giordano giordano deleted the ib/fixes branch July 23, 2025 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants