Skip to content

CI: adding circleCI token #79

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

Merged
merged 1 commit into from
May 30, 2023
Merged

CI: adding circleCI token #79

merged 1 commit into from
May 30, 2023

Conversation

bsipocz
Copy link
Member

@bsipocz bsipocz commented May 30, 2023

@bsipocz bsipocz added the infrastructure Infrastructure rather than content label May 30, 2023
@bsipocz
Copy link
Member Author

bsipocz commented May 30, 2023

Merging as this change will only have effect once merged.

@bsipocz bsipocz merged commit c98a045 into astroML:main May 30, 2023
github-actions bot pushed a commit that referenced this pull request May 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
infrastructure Infrastructure rather than content
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant