This pull request is meant to add on #141 with small fixes and to test the CI pipeline on merge.
It introduces the following changes:
Remove the redundant on-merge workflow dedicated to the deploy-doc job. This is redundant because, once a PR is merged by a maintainer, the per-commit pipeline will trigger (in fact, merging a PR counts as a push action) and it will already execute the deploy-doc job at the end. I checked on the main ns-3 GitLab repository, and confirmed that there too the per-commit pipeline is run on PR merge.
This pull request is meant to add on #141 with small fixes and to test the CI pipeline on merge.
It introduces the following changes:
on-mergeworkflow dedicated to thedeploy-docjob. This is redundant because, once a PR is merged by a maintainer, theper-commitpipeline will trigger (in fact, merging a PR counts as a push action) and it will already execute thedeploy-docjob at the end. I checked on the main ns-3 GitLab repository, and confirmed that there too theper-commitpipeline is run on PR merge.