Files
tendermint/.github/workflows
Thane Thomson 83b7f4ad5b ci: Fix linter complaint (#9645)
Fixes a very silly linter complaint that makes absolutely no sense and is blocking the merging of several PRs.

---

#### PR checklist

- [x] Tests written/updated, or no tests needed
- [x] `CHANGELOG_PENDING.md` updated, or no changelog entry needed
- [x] Updated relevant documentation (`docs/`) and code comments, or no
      documentation updates needed
2022-10-28 15:01:16 +00:00
..
2022-08-01 16:45:25 +02:00
2022-08-01 16:45:25 +02:00
2022-08-01 16:45:25 +02:00
2022-10-28 15:01:16 +00:00
2022-08-01 16:45:25 +02:00