2023-04-04 13:58:08 +01:00
|
|
|
name: Mirror and run GitLab CI
|
|
|
|
|
|
|
|
|
|
on: [push]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v1
|
|
|
|
|
- name: Mirror and run GitLab CI
|
|
|
|
|
uses: SvanBoxel/gitlab-mirror-and-ci-action@master
|
|
|
|
|
with:
|
2023-04-21 15:51:05 +01:00
|
|
|
args: "https://gitlab.com/ripytide/discrete_range_map"
|
2023-04-04 13:58:08 +01:00
|
|
|
env:
|
|
|
|
|
FOLLOW_TAGS: "false"
|
2023-04-10 12:53:52 +01:00
|
|
|
FORCE_PUSH: "false"
|
2023-04-04 13:58:08 +01:00
|
|
|
GITLAB_HOSTNAME: "gitlab.com"
|
|
|
|
|
GITLAB_USERNAME: "ripytide"
|
|
|
|
|
GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
|
2023-04-21 15:53:05 +01:00
|
|
|
GITLAB_PROJECT_ID: "45384105"
|
2023-04-04 13:58:08 +01:00
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
