ci: finalize pages deployment

2 jobs for 140-ci-publish-coverage-results-on-gitlab-pages in 39 seconds (queued for 36 seconds)
Status Job ID Name Coverage
  Build
passed #5375
triggered
build_ip_and_tests

00:00:39

 
  Test
canceled #5376
triggered
test_ip_unit