Skip to content

refactor!: change R/par.R#1104

Merged
aviator-app[bot] merged 1 commit intomainfrom
par
Jan 16, 2024
Merged

refactor!: change R/par.R#1104
aviator-app[bot] merged 1 commit intomainfrom
par

Conversation

@maelle
Copy link
Copy Markdown
Contributor

@maelle maelle commented Jan 12, 2024

inline igraph_opt() and igraph_options()

Spin-off of #1014

@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app Bot commented Jan 12, 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 maelle requested a review from krlmlr January 12, 2024 14:55
@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app Bot commented Jan 13, 2024

This pull request failed to merge: some CI status(es) failed. Remove the blocked label to re-queue.

Failed CI(s): Sanitizer

@maelle
Copy link
Copy Markdown
Contributor Author

maelle commented Jan 15, 2024

Blocked by #1110 AFAICT

inline igraph_opt() and igraph_options()
@aviator-app aviator-app Bot merged commit c2e775e into main Jan 16, 2024
@aviator-app aviator-app Bot deleted the par branch January 16, 2024 09:55
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jan 16, 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.

2 participants