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.

Sign up for GitHub

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

Jump to bottom

fix CI badge in develop/stable #180

Merged
merged 1 commit into from
Jan 29, 2024
Merged

fix CI badge in develop/stable #180

merged 1 commit into from
Jan 29, 2024

Conversation

jeanbez
Copy link
Member

@jeanbez jeanbez commented Jan 24, 2024

fix badge CI build status report in develop/stable branches

@jeanbez jeanbez changed the title fix badge in stable fix CI badge in develop/stable Jan 24, 2024
@jeanbez jeanbez added the type: CI Continuous Integration in GitHub or NERSC label Jan 24, 2024
@jeanbez jeanbez self-assigned this Jan 24, 2024
@jeanbez jeanbez merged commit 9f93257 into develop Jan 29, 2024
9 checks passed
jeanbez added a commit that referenced this pull request Jan 31, 2024
@jeanbez
Synchronize with develop (#181)
a47af22 
* update issue templates (#178)
* fix badge in stable (#180)
* update CI triggers
@jeanbez jeanbez deleted the test-new-feature branch March 5, 2024 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zhangwei217245 zhangwei217245 zhangwei217245 approved these changes

@houjun houjun houjun approved these changes

Assignees

@jeanbez jeanbez

Labels
type: CI Continuous Integration in GitHub or NERSC
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jeanbez @zhangwei217245 @houjun