-
Notifications
You must be signed in to change notification settings - Fork 2k
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
README.md: update CI badge #18685
README.md: update CI badge #18685
Conversation
Murdock results✔️ PASSED f54f81d README.md: update CI badge
ArtifactsThis only reflects a subset of all builds from https://ci-prod.riot-os.org. Please refer to https://ci.riot-os.org for a complete build for now. |
Does it make sense to merge this?
|
I think so :) but not before ci-prod.riot-os.org becomes ci.riot-os.org and after the urls in this PR are updated accordingly. The PR is essentially here to show that this feature won't be lost (and that I won't forget it). |
Then let's set the appropriate label for now. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Preventing accidental merges before ci-prod became ci. Feel free to dismiss this review, once this is the case.
689df0a
to
90187f2
Compare
90187f2
to
f54f81d
Compare
Once the DNS update is ready (ci.riot-os.org pointing to the new Murdock), this PR can be merged. |
The DNS is in place and both links work so this can now be merged. |
Contribution description
Before I forget, this PR is updating the README links to the CI status badge and job details of the new Murdock instance.
Testing procedure
Check the README:
Issues/PRs references
This is part of the migration to the new Murdock instance