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

New version: Umlaut v0.5.8 #93680

Closed
wants to merge 1 commit into from
Closed

New version: Umlaut v0.5.8 #93680

wants to merge 1 commit into from

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Oct 18, 2023 •
edited
Loading

  • Registering package: Umlaut
  • Repository: https://github.com/dfdx/Umlaut.jl
  • Created by: @dfdx
  • Version: v0.5.8
  • Commit: cfa48c1d7639c0d4923e76dd6da3ee2960b34209
  • Git reference: main
  • Description: The Code Tracer
  • Release notes:

Enhancements and bug fixes

@JuliaRegistrator JuliaRegistrator mentioned this pull request Oct 18, 2023
Open
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 18, 2023 22:28 — with GitHub Actions Inactive
@dfdx
Copy link

dfdx commented Oct 18, 2023

Please, ignore this PR.

@github-actions
Copy link
Contributor

github-actions bot commented Oct 18, 2023 •
edited
Loading

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.

If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment. You can edit blocking comments, adding [noblock] to them in order to unblock auto-merging.

@JuliaRegistrator JuliaRegistrator force-pushed the registrator-umlaut-92992a2b-v0.5.8-d1d04b09ff branch from 67ba96b to 123bc67 Compare November 11, 2023 08:55
@dfdx
Copy link

dfdx commented Nov 11, 2023

[noblock]
Ok to merge.

@JuliaHubRegistrator
New version: Umlaut v0.5.8
843bd67 
UUID: 92992a2b-8ce5-4a9c-bb9d-58be9a7dc841
Repo: https://github.com/dfdx/Umlaut.jl.git
Tree: 76ec00116c0734c542ff1055bbad3947a9b08e3f

Registrator tree SHA: 7242ef64be5953fac9bf8b3efa3a7c4d2d44ca09
@JuliaRegistrator JuliaRegistrator force-pushed the registrator-umlaut-92992a2b-v0.5.8-d1d04b09ff branch from 123bc67 to 843bd67 Compare November 11, 2023 12:01
@dfdx
Copy link

dfdx commented Nov 11, 2023

Please, close this PR.

@github-actions GitHub Actions
Copy link
Contributor

This pull request has been inactive for 30 days and will be automatically closed 7 days from now. If this pull request should not be closed, please either (1) fix the AutoMerge issues and re-trigger Registrator, which will automatically update the pull request, or (2) post a comment explaining why you would like this pull request to be manually merged. [noblock]

@github-actions github-actions bot added the stale label Dec 12, 2023
@github-actions GitHub Actions
Copy link
Contributor

This pull request has been inactive for more than 30 days and has automatically been closed. Feel free to register your package or version again once you fix the AutoMerge issues. [noblock]

@github-actions github-actions bot closed this Dec 20, 2023
@github-actions github-actions bot deleted the registrator-umlaut-92992a2b-v0.5.8-d1d04b09ff branch December 20, 2023 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
patch release stale
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@JuliaRegistrator @dfdx @JuliaHubRegistrator