Ran
|
Jobs
1
|
Files
165
|
Run time
13s
|
Badge
Embed ▾
README BADGES
|
push
github
ci: update deploy-docs authorized users (#1283) (#1285) In order to deploy the documentation to the public URL, a Github action needs to be triggered manually. In order to avoid anyone being able to do this, the script which is being run asserts the username of the `github.actor` to be in a hard-coded list of authorized users. This commit updates this list in accordance with the recent CODEOWNER changes. I believe, that there must be a better way to handle/restrict access to who can trigger this action, but for the time being I will simply do this quick fix. (cherry picked from commit 4ce231e7a) Co-authored-by: Max Rossmannek <oss@zurich.ibm.com>
8768 of 10104 relevant lines covered (86.78%)
0.87 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 7007814327.1 | 165 |
86.78 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|