Skip to content

Conversation

@maelle
Copy link
Contributor

@maelle maelle commented Dec 10, 2024

Fix #1583

@aviator-app
Copy link
Contributor

aviator-app bot commented Dec 10, 2024

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This PR was merged using Aviator.


See the real-time status of this PR on the Aviator webapp.
Use the Aviator Chrome Extension to see the status of your PR within GitHub.

@maelle
Copy link
Contributor Author

maelle commented Dec 10, 2024

/aviator merge

@aviator-app
Copy link
Contributor

aviator-app bot commented Dec 10, 2024

Aviator has accepted the merge request. It will enter the queue when all of the required status checks have passed. Aviator will update the sticky status comment as the pull request moves through the queue.

@aviator-app aviator-app bot merged commit a891698 into main Dec 10, 2024
7 checks passed
@aviator-app aviator-app bot deleted the iso branch December 10, 2024 07:29
@krlmlr
Copy link
Contributor

krlmlr commented Dec 11, 2024

Thanks. I'd like to push 2.1.3 on December 14, on CRAN's request. I'd like to merge all PRs myself until then, we can resume regular operations after that.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 12, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Replace graph.isomorphic with isomorphic in examples

3 participants