Skip to content

Conversation

@mdole
Copy link
Contributor

@mdole mdole commented Jul 13, 2023

Description

Companion to artsy/eigen#8991

PR Checklist (tick all before merging)

  • I have not stored any sensitive keys/values/information in Echo.json5 and in CI, or I have not changed anything in that file.

@mdole mdole self-assigned this Jul 13, 2023
@mdole mdole merged commit 836eef6 into main Jul 13, 2023
@mdole mdole deleted the mdole/add-sift-android-flag branch July 13, 2023 15:27
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