2 Commits

Author	SHA1	Message	Date
Christoph Blecker	973b948b6b	Fix up verify-generated-docs script	2018-03-05 14:25:17 -08:00
Christoph Blecker	2bd679812c	Allow multiple steps in the verify job	2018-03-05 09:31:40 -08:00