Ran
|
Files
165
|
Run time
4s
|
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
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|