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.

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: Remove HiL Badge #19453

Merged
merged 1 commit into from
Apr 5, 2023
Merged

README.md: Remove HiL Badge #19453

merged 1 commit into from
Apr 5, 2023

Conversation

MrKevinWeiss
Copy link
Contributor

Contribution description

Since the HAW-Hamburg hack and change to the RIOT community server the HiL is not operating. We should remove it until it is brought back. likely with some improvements and with different links.

Testing procedure

Before this PR: click on it and be sad
After PR: Forget your sorrows

Issues/PRs references

Since the HAW-Hamburg hack and change to the RIOT community server
the HiL is not operating.  We should remove it until it is brought
back. likely with some improvements and with different links.
@github-actions github-actions bot added the Area: doc Area: Documentation label Apr 5, 2023
Copy link
Contributor

@aabadie aabadie left a comment

Choose a reason for hiding this comment

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

ACK :(

@aabadie aabadie added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Apr 5, 2023
@MrKevinWeiss
Copy link
Contributor Author

It will be back, just needs some love... Maybe with gh actions or so...

@MrKevinWeiss
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Apr 5, 2023

🕐 Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@riot-ci
Copy link

riot-ci commented Apr 5, 2023

Murdock results

✔️ PASSED

ef743fe README.md: Remove HiL Badge

Success Failures Total Runtime
1 0 1 55s

Artifacts

@aabadie
Copy link
Contributor

aabadie commented Apr 5, 2023

bors merge

@bors
Copy link
Contributor

bors bot commented Apr 5, 2023

Build succeeded:

@bors bors bot merged commit 07be4be into RIOT-OS:master Apr 5, 2023
@MrKevinWeiss MrKevinWeiss deleted the pr/readme branch April 14, 2023 13:03
@benpicco benpicco added this to the Release 2023.07 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: doc Area: Documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants