Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix the "Homebrew uses installed libgambit" issue. #1113

Merged
merged 5 commits into from
Jan 30, 2024
Merged

Fix the "Homebrew uses installed libgambit" issue. #1113

merged 5 commits into from
Jan 30, 2024

Conversation

drewc
Copy link
Collaborator

@drewc drewc commented Jan 25, 2024

The other commits are a rebase

Copy link

netlify bot commented Jan 25, 2024

Deploy Preview for elastic-ritchie-8f47f9 ready!

Name Link
🔨 Latest commit e0f28ff
🔍 Latest deploy log https://app.netlify.com/sites/elastic-ritchie-8f47f9/deploys/65b89358d857f6000826d968
😎 Deploy Preview https://deploy-preview-1113--elastic-ritchie-8f47f9.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@vyzo
Copy link
Collaborator

vyzo commented Jan 25, 2024

build failed.

@drewc
Copy link
Collaborator Author

drewc commented Jan 25, 2024 via email

@vyzo
Copy link
Collaborator

vyzo commented Jan 25, 2024

yar, flaky tests no good -- go ahead and cond-expand it out.

@drewc
Copy link
Collaborator Author

drewc commented Jan 25, 2024 via email

@vyzo
Copy link
Collaborator

vyzo commented Jan 25, 2024

just put it in a cond expand arm (enable-badssl-test or something), so that it does not run by default.
do NOT comment it out.

@drewc drewc enabled auto-merge (squash) January 25, 2024 18:50
@drewc drewc merged commit 92b1a2f into master Jan 30, 2024
12 checks passed
@drewc drewc deleted the homebrew branch January 30, 2024 06:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants