chore: add timing in data-frame notebook example (#583) #383

	# 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

	- name: Save repo
	uses: actions/upload-artifact@5d5d22a31266ced268874388b861e4b58bb5c2f3
	with:
	name: repo-archive
	path: '.'

	# 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

Provide feedback