Skip to content

Merge branch 'dev' into feature/fastvc #411

Merge branch 'dev' into feature/fastvc

Merge branch 'dev' into feature/fastvc #411

Workflow file for this run

name: Mirror and run GitLab CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Mirror + trigger CI
uses: SvanBoxel/gitlab-mirror-and-ci-action@master
with:
args: "https://gitlab.com/AFD-Illinois/kharma"
env:
FORCE_PUSH: "false"
GITLAB_HOSTNAME: "gitlab.com"
GITLAB_USERNAME: "bprather"
GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
GITLAB_PROJECT_ID: "19796382"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}