Daniel Nephin f4791f0e82 ci: Add check-generated
And remove makefile targets that can be accomplished with --always-make
2020-07-29 12:10:44 -04:00
..
2018-06-18 14:53:50 -04:00
2018-06-19 12:47:58 -04:00
2020-07-29 12:10:44 -04:00
2018-06-18 14:53:50 -04:00
2018-06-26 12:08:33 -04:00
2018-06-18 14:53:50 -04:00