Closed maelle closed 3 months 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.
Locally I am getting surprising failures for
local_igraph_options(print.id = FALSE)
expect_false(igraph_opt("print.id"))
and thus the related snapshots. :zany_face:
This pull request failed to merge: PR has a blocked label, remove to re-queue. 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.
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-3)
Needs a fix for oldrel-3.
Not ready yet!