Skip to content

Merge remote-tracking branch 'origin/dev' into refactor/custom-protoc… #4738

Merge remote-tracking branch 'origin/dev' into refactor/custom-protoc…

Merge remote-tracking branch 'origin/dev' into refactor/custom-protoc… #4738

GitHub Actions / empty succeeded Sep 6, 2023 in 0s

empty

Details

Results

Message level Amount
Internal compiler error 0
Error 0
Warning 0
Note 0
Help 0

Versions

  • rustc 1.72.0 (5680fa18f 2023-08-23)
  • cargo 1.72.0 (103a7ff2e 2023-08-15)
  • clippy 0.1.72 (5680fa1 2023-08-23)