diff options
| author | Jonathan LEI | 2022-11-07 04:39:18 +0000 |
|---|---|---|
| committer | GitHub | 2022-11-07 04:39:18 +0000 |
| commit | eddf9f0b7f2eacac690afad05abdae398bb17366 (patch) | |
| tree | aa485a711e3909f5e599d0f3f0b19b0733bb037a /default.nix | |
| parent | 140df92d7936e1fd036128d98ab565d92e9d2bd8 (diff) | |
Run clippy on workspace in CI (#4614)
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions