Skip to content

Rename Reu1601.pdf to CompteRendu2024-01-16.pdf #63

Rename Reu1601.pdf to CompteRendu2024-01-16.pdf

Rename Reu1601.pdf to CompteRendu2024-01-16.pdf #63

Workflow file for this run

name: Format Files
on: push
jobs:
format:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Install Clang tools
run: |
sudo apt-get update
sudo apt-get install -y clang-format clang-tidy
- name: Format files
run: |
git diff --name-only --diff-filter=d origin/main...HEAD | xargs clang-tidy -fix --config-file=.clang-tidy src/*.c main.c src/*.h
git diff --name-only --diff-filter=d origin/main...HEAD | xargs clang-format -i -style=file src/*.c main.c src/*.h
- name: Commit changes
run: |
git config --local user.email "action@github.com"
git config --local user.name "GitHub Action"
git commit -am "Apply code formatting" --no-verify
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}