Skip to content

Comments

Update RTEMS documentation url (fixes #211)#212

Merged
EzraBrooks merged 1 commit intomainfrom
outdated-rtems-url
Apr 8, 2025
Merged

Update RTEMS documentation url (fixes #211)#212
EzraBrooks merged 1 commit intomainfrom
outdated-rtems-url

Conversation

@Bckempa
Copy link
Contributor

@Bckempa Bckempa commented Apr 7, 2025

Fixes GHA Markdown Link Check

@Bckempa Bckempa added bug Something isn't working documentation Improvements or additions to documentation labels Apr 7, 2025
@Bckempa Bckempa added this to the jazzy-2025.04.0 milestone Apr 7, 2025
@Bckempa Bckempa linked an issue Apr 7, 2025 that may be closed by this pull request
@Bckempa Bckempa self-assigned this Apr 7, 2025
The URL pointing to a the RTEMS documentation in the rtems README currently
gives a 404.

This commit updates the URL in the README to point to a valid URL.
@Bckempa
Copy link
Contributor Author

Bckempa commented Apr 8, 2025

Actions seem stuck, and therefore so are we
Screenshot 2025-04-08 at 08 23 15

@Bckempa
Copy link
Contributor Author

Bckempa commented Apr 8, 2025

Ah, I see @ivanperez-keera is already on this: #216

Copy link
Member

@EzraBrooks EzraBrooks left a comment

Choose a reason for hiding this comment

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

@Bckempa and @ivanperez-keera you should now have the ability to bypass CI with the scary red checkbox, please attempt.

@EzraBrooks
Copy link
Member

I'll just merge it so I can get #217 running.

@EzraBrooks EzraBrooks merged commit 1825236 into main Apr 8, 2025
@github-project-automation github-project-automation bot moved this from In Review to Done in Space ROS Project Development Apr 8, 2025
@ivanperez-keera ivanperez-keera deleted the outdated-rtems-url branch April 30, 2025 05:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working documentation Improvements or additions to documentation

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Outdated RTEMS URL

3 participants