Skip to content
Snippets Groups Projects

Draft: feat: migration EF runner

Open Sébastien Heurtematte requested to merge feat/ef-runner into main
Compare and
1 file
+ 20
5
Compare changes
  • Side-by-side
  • Inline
+ 20
5
@@ -7,9 +7,14 @@ stages:
- build
- deploy
default:
tags:
- origin:eclipse
- ctx:oniro-group
include:
- project: eclipse/oniro-core/oniro
ref: kirkstone
ref: feat/ef-runner
file:
- .oniro-ci/dco.yaml
- .oniro-ci/reuse.yaml
@@ -188,7 +193,7 @@ build-docs:
extends: [.oniro-repo-workspace]
interruptible: true
image:
name: registry.ostc-eu.org/ostc/oniro/docs-builder:latest
name: docker.io/onirocore/docs-builder:latest
script:
- make -C docs
- mv docs/build "$CI_PROJECT_DIR"
@@ -236,14 +241,24 @@ build-docs:
deploy:
extends: .oniro-repo-workspace
image:
name: registry.ostc-eu.org/ostc/oniro/docs-builder:latest
name: docker.io/onirocore/docs-builder:latest
stage: deploy
variables:
CI_DOC_DEPLOY_REPO: "gitlab.eclipse.org/eclipse/oniro-core/oniro-readthedocs-aggregated.git"
CI_DOC_DEPLOY_REPO_BRANCH: "main"
CI_GITLAB_USER_ID: "gitlab_user"
CI_GITLAB_USERNAME: "gitlab_user"
CI_GITLAB_TOKEN: "<api token from gitlab"
CI_GITLAB_USER_EMAIL: "gitlab_user@company.com"
before_script:
- git config --global user.email "$CI_GITLAB_USER_EMAIL"
- git config --global user.name "$CI_GITLAB_USER_ID"
script:
# We are in the root of the git-repo workspace. Because
# .oniro-repo-workspace uses GIT_STRATEGY=none, the workspace is not
# cleaned automatically.
- rm -rf aggregated
- git clone https://user:$CI_ONIRO_AGGREGATED_DOCS_TOKEN@gitlab.eclipse.org/eclipse/oniro-core/oniro-readthedocs-aggregated.git aggregated
- git clone https://$CI_GITLAB_USERNAME:$CI_GITLAB_TOKEN@$CI_DOC_DEPLOY_REPO aggregated
- find aggregated -maxdepth 1 -not -path aggregated/.git -not -path aggregated -exec rm -rvf {} \;
- tar -c --dereference -C docs --exclude ./.git --exclude ./.gitlab-ci.yml . | tar -x -C aggregated
# Commit and push back, if something changed.
@@ -253,7 +268,7 @@ deploy:
msg="docs repository snapshot - $CI_COMMIT_BRANCH:$CI_COMMIT_SHA";
git add -A;
git commit -sm "$msg";
git push origin HEAD:main;
git push origin HEAD:$CI_DOC_DEPLOY_REPO_BRANCH;
else
echo "Nothing new to commit.";
fi
Loading