Skip to content

Merge branch 'main' into 0.21.0 #751

Merge branch 'main' into 0.21.0

Merge branch 'main' into 0.21.0 #751

Workflow file for this run

name: Mirror and run GitLab CI
on: [ push ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Mirror + trigger CI
uses: SvanBoxel/gitlab-mirror-and-ci-action@master
with:
args: "https://${{ secrets.GITLAB_HOSTNAME }}/sertit/libraries/eoreader"
env:
GITLAB_HOSTNAME: ${{ secrets.GITLAB_HOSTNAME }}
GITLAB_USERNAME: ${{ secrets.GITLAB_USERNAME }}
GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
GITLAB_PROJECT_ID: ${{ secrets.GITLAB_PROJECT_ID }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}