Skip to content

Merge branch 'upstream' into 'arumoon-server' #801

Merge branch 'upstream' into 'arumoon-server'

Merge branch 'upstream' into 'arumoon-server' #801

Workflow file for this run

name: Mirror and run GitLab CI
on: [push]
concurrency:
group: ${{ github.ref }}
cancel-in-progress: true
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://git.arumoon.ru/Workbench-Team/space-station-14"
env:
FOLLOW_TAGS: "true"
FORCE_PUSH: "false"
GITLAB_HOSTNAME: "git.arumoon.ru"
GITLAB_USERNAME: "AruMoon"
GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
GITLAB_PROJECT_ID: "4"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}