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

Created CI report page #286

Closed
wants to merge 7 commits into from
Closed

Conversation

orensbruli
Copy link
Contributor

Signed-off-by: Esteban Martinena orensbruli@gmail.com

Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
@orensbruli orensbruli force-pushed the emartinena/created_ci_report_page branch from 556b823 to c009980 Compare December 10, 2022 10:46
@orensbruli orensbruli requested review from akash-roboticist and Yadunund and removed request for akash-roboticist December 10, 2022 18:17
Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
Copy link
Contributor

@akash-roboticist akash-roboticist left a comment

Choose a reason for hiding this comment

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

Some workflows don't exist but are added as badges here; did you mean to pre-preemptively add those here for future use @orensbruli ?

@orensbruli
Copy link
Contributor Author

orensbruli commented Dec 12, 2022

Some workflows don't exist but are added as badges here; did you mean to pre-preemptively add those here for future use @orensbruli ?

Yes, it's intentional, not as a preemptively measure but as a reminder that we should check if it would be good to add it to that repository or put a note here reminding us why it's not needed or useful.

EDIT: I made a minor commit to change the NONE word after the failing badges for TO CHECK.

Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
@orensbruli orensbruli force-pushed the emartinena/created_ci_report_page branch from 76ebe6e to 01043a1 Compare December 12, 2022 04:42
@orensbruli orensbruli closed this Jun 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants