Skip to content

chore: rename concurrency group for weekly action #452

chore: rename concurrency group for weekly action

chore: rename concurrency group for weekly action #452

Workflow file for this run

# Sync repos
name: Sync repos
on:
push:
branches:
- 'main'
workflow_dispatch:
jobs:
sync-repo:
if: ${{ github.repository == 'zama-ai/concrete-ml' }}
runs-on: ubuntu-latest
steps:
- name: Checkout repo
uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633
with:
fetch-depth: 0
lfs: true
# Initial action can be found here: https://github.com/wei/git-sync
# The issue is that it does not handle LFS files when pushing, so we had to fork it and
# add the feature
- name: git-sync
uses: RomanBredehoft/git-sync@836de2d057c5bfae184bc4d45160463fe8653796
with:
source_repo: "zama-ai/concrete-ml"
source_branch: "main"
destination_repo: "https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}"
destination_branch: "main"
push_lfs: true