Closed krlmlr closed 3 weeks ago
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.
This pull request failed to merge: some required checks failed. After you have resolved the problem, you should remove the blocked
pull request label from this PR and then try to re-queue the PR. Note that the pull request will be automatically re-queued if it has the mergequeue
label.
Failed checks: Sanitizer
@moodymudskipper: This works for igraph to use devtag (and another roclet) in the standard "Document" menu command.
Do we want a blog post or an entry in the README? And
use_devtag()
could take care of that?