|
Ran
|
Jobs
1
|
Files
3
|
Run time
1min
|
Badge
README BADGES
|
push
github
ed: reject filename of '.' or '..' (#849) * Extending from commit 5f9377d8b, we know that filenames '.' and '..' are reserved for directories so these names can also raise an error in edFilename() * The filename '...' is not reserved
350 of 483 relevant lines covered (72.46%)
4697.83 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 12119738218.1 | 0 |
72.46 |
GitHub Action Run |