Skip to content

chore: add some argument checking to add_shape()#1478

Merged
aviator-app[bot] merged 1 commit intomainfrom
todo-shapes
Aug 30, 2024
Merged

chore: add some argument checking to add_shape()#1478
aviator-app[bot] merged 1 commit intomainfrom
todo-shapes

Conversation

@maelle
Copy link
Copy Markdown
Contributor

@maelle maelle commented Aug 27, 2024

Just removing a TODO :-)

@maelle maelle requested a review from szhorvat August 27, 2024 13:22
@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app bot commented Aug 27, 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.

@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app bot commented Aug 27, 2024

This pull request failed to merge: some CI status(es) failed. Once the issues are resolved, remove the blocked label and re-queue the pull request. Note that the pull request will be automatically re-queued if it has the mergequeue label.

Failed CI(s): Check ubuntu-20.04 (oldrel-4), Check ubuntu-20.04 (oldrel-2), Check ubuntu-20.04 (oldrel-3)

@krlmlr krlmlr changed the title chore: add some argument checking to add_shape() chore: add some argument checking to add_shape() Aug 29, 2024
Copy link
Copy Markdown
Contributor

@krlmlr krlmlr left a comment

Choose a reason for hiding this comment

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

Thanks, nice! We saw that we need {.help igraph::add_shape}, also elsewhere?

@krlmlr
Copy link
Copy Markdown
Contributor

krlmlr commented Aug 29, 2024

Checks still fail.

@aviator-app aviator-app bot merged commit 5298fe8 into main Aug 30, 2024
@aviator-app aviator-app bot deleted the todo-shapes branch August 30, 2024 13:15
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 31, 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.

3 participants