Minor dashboard-related adjustement (#2841)

* wait for dashboard generation before commenting PRs with pipeline report link.
* change dashboard link and badge

---------

Co-authored-by: JeanRochCoulon <jean-roch.coulon@thalesgroup.com>
This commit is contained in:
Valentin Thomazic 2025-03-19 11:14:10 +01:00 committed by GitHub
parent 21506e4c66
commit d94db10fb1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions

View file

@ -3,6 +3,7 @@ This module makes it possible to trigger GitHub workflows.
"""
from os import environ as env
import time
import requests
def api_url(owner, repo):
@ -52,6 +53,7 @@ class DashboardDone(Workflow):
'pr_number': str(pr),
'success': success,
}
time.sleep(120)
return self._trigger(inputs)
def send_success(self, pr):