Skip to content

Commit

Permalink
Added correct ci/cd
Browse files Browse the repository at this point in the history
  • Loading branch information
Benedikt Schesch committed May 2, 2024
1 parent d2a245c commit 37c7dc2
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 21 deletions.
29 changes: 8 additions & 21 deletions .github/workflows/push-plots-to-paper.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,49 +4,36 @@ on:
push:
branches:
- main # Set this to match the branch name you use
- automatic_plot_upload

jobs:
update-overleaf:
runs-on: ubuntu-latest

steps:
- uses: GuillaumeFalourd/[email protected]
- name: Checkout repository
uses: actions/checkout@v4

- name: Setup Git Config
- name: Setup Git Config and Credentials
run: |
git config --global user.email "[email protected]"
git config --global user.name "GitHub CI/CD Bot"
- name: Setup .netrc for Git authentication
env:
OVERLEAF_TOKEN: ${{ secrets.OVERLEAF_TOKEN }}
run: |
cat << EOF > $HOME/.netrc
machine git.overleaf.com
login $OVERLEAF_TOKEN
password x-oauth-basic
EOF
chmod 600 $HOME/.netrc
- name: Create directory for Overleaf Repository
run: mkdir -p ${{ github.workspace }}/AST-Merging-Evaluation-Paper
run: mkdir -p ../AST-Merging-Evaluation-Paper

- name: Clone Overleaf Repository
env:
OVERLEAF_GIT_REPO: ${{ secrets.OVERLEAF_REPO_URL }}
OVERLEAF_GIT_REPO: ${{ secrets.OVERLEAF_GIT_REPO }}
run: |
git clone $OVERLEAF_GIT_REPO ${{ github.workspace }}/AST-Merging-Evaluation-Paper
git clone ${OVERLEAF_GIT_REPO} ../AST-Merging-Evaluation-Paper
- name: Run make command to copy plots
run: make copy-paper

- name: Change directory to Overleaf repository
run: cd ${{ github.workspace }}/AST-Merging-Evaluation-Paper

# Commit and push the changes to Overleaf if needed
- name: Commit and Push to Overleaf
run: |
cd ../AST-Merging-Evaluation-Paper
git add .
git commit -m "Automated plot updates by GitHub CI/CD Bot"
git push origin master
git diff --staged --exit-code || (git commit -m "Automated plot updates by GitHub CI/CD Bot" && git push origin master)
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@ cache*.tar
cache.tar
output.txt
replay_logs/
my.secrets

output/
merge_repo/
Expand Down

0 comments on commit 37c7dc2

Please sign in to comment.