Skip to content

add workflows

add workflows #17

Workflow file for this run

name: Mirror Repository
on:
push:
branches:
- main
- gh-pages
jobs:
mirror:
runs-on: ubuntu-latest
if: github.repository == 'ASSERT-KTH/repairbench'
steps:
- name: Checkout source repository
uses: actions/[email protected]
with:
fetch-depth: 0
- name: Push to mirror repository
uses: pixta-dev/repository-mirroring-action@674e65a7d483ca28dafaacba0d07351bdcc8bd75
with:
target_repo_url:
[email protected]:repairbench/repairbench.github.io.git
ssh_private_key:
${{ secrets.SSH_PRIVATE_KEY }}