Skip to content

chore: Turn off Sanitizer for now#1110

Closed
krlmlr wants to merge 2 commits intomainfrom
b-sanitizer
Closed

chore: Turn off Sanitizer for now#1110
krlmlr wants to merge 2 commits intomainfrom
b-sanitizer

Conversation

@krlmlr
Copy link
Copy Markdown
Contributor

@krlmlr krlmlr commented Jan 15, 2024

To fix CI/CD.

@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app Bot commented Jan 15, 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 closed without merging. If you still want to merge this PR, re-open it.


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.

@krlmlr krlmlr marked this pull request as draft January 15, 2024 05:32
@krlmlr
Copy link
Copy Markdown
Contributor Author

krlmlr commented Jan 15, 2024

Holding off, trying to rebuild rigraph-san first: https://github.com/krlmlr/rigraph-san/actions/runs/7524783184/job/20480090602.

@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app Bot commented Jan 15, 2024

This pull request failed to merge: this PR is in draft state. Remove the blocked label to re-queue.

Additional debug info: PR was marked as draft after queueing

@aviator-app aviator-app Bot added blocked and removed mergequeue labels Jan 15, 2024
@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app Bot commented Jan 15, 2024

This pull request can't be queued because it's currently a draft.

@maelle
Copy link
Copy Markdown
Contributor

maelle commented Jan 15, 2024

Why is it failing?

@krlmlr
Copy link
Copy Markdown
Contributor Author

krlmlr commented Jan 15, 2024

No need, it seems.

@krlmlr krlmlr closed this Jan 15, 2024
@krlmlr
Copy link
Copy Markdown
Contributor Author

krlmlr commented Jan 15, 2024

Aviator marks this as failing because I have set the status to "draft". I fixed the Sanitizer image, builds are green again.

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants