-
Tristan Van Berkom authored
This was previously missing, causing our CI to forget to rebuild the sessions when updating the documentation. This fixes issue #778
cc5ef68c
This was previously missing, causing our CI to forget to rebuild the sessions when updating the documentation. This fixes issue #778