Centralize GitHub Workflow groups declaration (#272)
It may not be the best place for that (gha.py would have been better), but it's the shorter / faster way to do it for now. Moreover it now uses logging for writing the group. The logger format has been updated for this to work. This was done to fix issues on GitHub Action logs, where groups were declared after the logs.
This commit is contained in:
@@ -6,7 +6,6 @@ from requests_html import HTMLSession
|
||||
This script is using requests-html because the page needs JavaScript to render correctly."""
|
||||
|
||||
product = endoflife.Product("oracle-jdk")
|
||||
print(f"::group::{product.name}")
|
||||
r = HTMLSession().get('https://www.java.com/releases/')
|
||||
r.html.render(sleep=1, scrolldown=3)
|
||||
|
||||
@@ -22,4 +21,3 @@ for row in r.html.find('#released tr'):
|
||||
|
||||
product.remove_version('1.0_alpha') # the only version we don't want, a regex is not needed
|
||||
product.write()
|
||||
print("::endgroup::")
|
||||
|
||||
Reference in New Issue
Block a user