[jakartaee-tck-dev] Jakarta platform TCK user guide link?

[Scott Marlow <smarlow@xxxxxxxxxx>]

Hi,

I see the TCK user guide source in [1], is that being built by one of 
our Jenkins CI jobs that we could view the output from?

I'd like to read the content but not from jake source.

Thanks,
Scott

[1] 
https://github.com/eclipse-ee4j/jakartaee-tck/tree/master/user_guides/jakartaee