mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-04-28 03:01:21 -04:00
chore: fix workflow to fetch refs
- make sure script use usr/bin/env to know which bash to use
This commit is contained in:
committed by
IceTDrinker
parent
98509e9965
commit
2ee80918a0
5
.github/workflows/sync_on_push.yml
vendored
5
.github/workflows/sync_on_push.yml
vendored
@@ -36,10 +36,7 @@ jobs:
|
||||
git remote add destination "https://${USERNAME}:${TOKEN}@github.com/${DEST_REPO}.git"
|
||||
|
||||
echo ">>> Fetching all branches references down locally so subsequent commands can see them..."
|
||||
git fetch source '+refs/heads/*:refs/heads/*' --update-head-ok
|
||||
|
||||
echo ">>> Print out all branches"
|
||||
git --no-pager branch -a -vv
|
||||
git fetch --all --tags --update-head-ok --quiet
|
||||
|
||||
echo ">>> Sync LFS items from source..."
|
||||
./scripts/lfs_sync.sh source destination "${SOURCE_BRANCH}"
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
#!/bin/bash
|
||||
#!/usr/bin/env bash
|
||||
|
||||
# This script tries to:
|
||||
# List all LFS references in a source remote on the given target branch and all tags
|
||||
|
||||
Reference in New Issue
Block a user