Issue 797: clang-tidy: check header files - Fast Downward issue tracker

Title	clang-tidy: check header files
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2018-06-06.13:24:07 by jendrik, last changed by jendrik.

Messages
msg7418 (view)	Author: jendrik	Date: 2018-09-13.10:04:48
I don't think this really needs a review. I went ahead and merged the issue branch and handled the TODO from the summary.
msg7407 (view)	Author: malte	Date: 2018-09-12.15:55:53
Hi Jendrik, happy to delegate reviewing to your reviewer of choice for this issue.
msg7346 (view)	Author: jendrik	Date: 2018-08-19.13:34:19
Now that issue790 is done, I made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/99 .
msg7220 (view)	Author: jendrik	Date: 2018-06-06.13:24:07
Currently, header files are not checked by clang-tidy.

History
Date	User	Action	Args
2018-09-13 10:04:48	jendrik	set	status: reviewing -> resolved messages: + msg7418 summary: After merging, refactor misc/style/run-all-style-checks.py and use the new get_src_files() function in more places. ->
2018-09-12 15:55:53	malte	set	messages: + msg7407
2018-08-19 13:34:19	jendrik	set	status: in-progress -> reviewing messages: + msg7346 summary: blocked by issue790 -> After merging, refactor misc/style/run-all-style-checks.py and use the new get_src_files() function in more places.
2018-06-06 13:24:07	jendrik	create