Skip to content

Add spacexr#1003

Merged
sjspielman merged 1 commit into
masterfrom
sjspielman/add-spacexr
May 21, 2026
Merged

Add spacexr#1003
sjspielman merged 1 commit into
masterfrom
sjspielman/add-spacexr

Conversation

@sjspielman
Copy link
Copy Markdown
Member

This should get #1002 building!

@sjspielman sjspielman marked this pull request as ready for review May 21, 2026 17:43
@sjspielman sjspielman requested a review from jashapiro May 21, 2026 17:43
Copy link
Copy Markdown
Member

@jashapiro jashapiro left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@sjspielman sjspielman merged commit b614eaf into master May 21, 2026
7 checks passed
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