diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-24 19:06:33 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-24 19:21:18 +0100 |
| commit | 80d6bdbb30cb6eb154286d9e96cf2e917905a9fd (patch) | |
| tree | adbbbebd154c3c69c22056b72eee0e78d1856477 /.github/workflows | |
| parent | de714640bd744b194d1b4c918a6f44d3cba02339 (diff) | |
fix name
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/metrics.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/metrics.yaml b/.github/workflows/metrics.yaml index e51c62bb4..58f369422 100644 --- a/.github/workflows/metrics.yaml +++ b/.github/workflows/metrics.yaml | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | name: rustdoc | 1 | name: metrics |
| 2 | on: | 2 | on: |
| 3 | push: | 3 | push: |
| 4 | branches: | 4 | branches: |