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

Build Status #47

Closed
sebastianbergmann opened this issue Jan 17, 2020 · 5 comments
Closed

Build Status #47

sebastianbergmann opened this issue Jan 17, 2020 · 5 comments
Assignees
@sebastianbergmann

Comments

@sebastianbergmann
Copy link
Owner

Once

have been addressed, we may need to update badges etc. on https://phpunit.de/build-status.html.
@localheinz
Copy link
Contributor

I think that all of these issues have open/merged pull requests now!

@sebastianbergmann
Copy link
Owner Author

Great! Thank you for all your work on this, @localheinz.

@localheinz localheinz mentioned this issue Feb 9, 2020
Closed
1 task
@sebastianbergmann sebastianbergmann self-assigned this Feb 9, 2020
@sebastianbergmann
Copy link
Owner Author

@localheinz I think I should take care of this. I have had the idea generate build-status.html with a simple PHP script (instead of manually maintaining the HTML) at the back of my mind for quite a while. I think I should finally implement it.

@localheinz
Copy link
Contributor

@sebastianbergmann

Sounds good!

@sebastianbergmann
Copy link
Owner Author

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sebastianbergmann sebastianbergmann

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Enhancement: Update build status badges localheinz/phpunit-website
2 participants
@sebastianbergmann @localheinz