Completed
Pull Request — master (#1882)
by
unknown
03:14
created

Changes

26 issues (13 minor, 13 informational) were introduced.
23 issues were fixed.
9.49
▶   ± 0
Head
François-Xavier de Guillebon  
Merge 4cca13671a7ae161c025205bf9a557dd2ff22d77 into d7666a1aff3d54f3b43c58a6b2607734b9368a39
2 more commits
Base
François-Xavier de Guillebon  
Use github action for coding style checks (#1878)