Closed Niols closed 1 year ago
Before this change, failure to build the documentation would not lead to failure of the CI job. It would not lead to any issue because the deployment would then simply do nothing. Still, it would be better to catch that kind of errors.
Before this change, failure to build the documentation would not lead to failure of the CI job. It would not lead to any issue because the deployment would then simply do nothing. Still, it would be better to catch that kind of errors.