Update CI rules for gitlab pages
This PR updates the rules
for when to run the pages
job (to publish the documentation). The changes is to (temporarily) publish on all pushes to the default branch (master
), mainly to get something deployed.
Once this is merged we should revert this change to move back to only publishing tags.