|
Ran
|
Jobs
1
|
Files
513
|
Run time
1min
|
Badge
README BADGES
|
push
github
config: give better error if a role is not a table An attempt to use a non-table module as a role now reports a more descriptive error: > Unable to use module <...> as a role: expected table, got <...> Fixes #10049 NO_DOC=The error is reported as before this commit as well as after it, but the error message is changed. The error message is not part of the API. (cherry picked from commit e1c2b2375)
67356 of 119831 branches covered (56.21%)
100055 of 114942 relevant lines covered (87.05%)
2434618.45 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 9227922132.1 | 0 |
87.05 |
GitHub Action Run |