Website is not built in pipeline

[brownbaerchen]

I noticed the tutorials I added recently have not made it to the actual website. Turns out the build_website step is always skipped.
The condition for this to run is

if: >-
      ${{ github.repository_owner == 'Parallel-in-Time'
      && github.event.workflow_run.conclusion == 'success' }}

I presume, the problem lies in the first condition. What would be the correct condition for this to run if all prior tests have completed and the person triggering the workflow is part of the Parallel-in-Time organisation? Do you know @jakob-fritz?

[pancetta]

This is (partially) intended: the mirror_to_gitlab job does not go through for some reason, i.e. there is no testing on the HPC systems available. Without it, the website is not built, also because we're missing coverage. I just don't see why the job is failing, though.

[jakob-fritz]

I'll look into it. Seems as if the push to Gitlab has some issues. Therefore, the pipeline is not sucessfull and the docs do not build. As Robert mentioned: That part is intended.
I will check why the mirror-job fails.

[brownbaerchen]

Great, thanks!

[jakob-fritz]

Now, the website got updated. 🎉

Are all expected parts in it @brownbaerchen ? I recall you talking about missing tutorials or smth like that.

[brownbaerchen]

Perfect, thanks a lot! Everything I wanted to see is there now.