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

ci: Check snapshots on macOS too #4

Open
wants to merge 1 commit into
base: fix-91
Choose a base branch
from

Conversation

varungandhi-src
Copy link

@varungandhi-src varungandhi-src commented Nov 29, 2023

If sourcegraph#138 is meant to fix that issue,
we should turn on CI testing on macOS to make sure we don't regress it.

I was unable to push to the branch directly because of permissions
(and I was unable to accept the invitation to collaborate on the repo
due to a " Sorry, we couldn't find that repository invitation. It is possible
that the invitation was revoked or that you are not logged into the
invited account." error message), so I've made a PR.

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.

1 participant