Build docs on push, and don't expire

Antonio Sánchezrequested to merge
cantonios/eigen:docs into master

Prevents nightly docs from being automatically deleted if our pipeline fails.

Merge request reports