Skip to content

Commit

Permalink
CI: split files from revisions in git diff command (#3775)
Browse files Browse the repository at this point in the history
Co-authored-by: Edouard Choinière <echoix@users.noreply.github.com>
  • Loading branch information
echoix and echoix committed Jun 5, 2024
1 parent fcb6199 commit 62369e5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/periodic_update.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:
wget http://git.savannah.gnu.org/cgit/config.git/plain/config.guess && chmod +x config.guess
wget http://git.savannah.gnu.org/cgit/config.git/plain/config.sub && chmod +x config.sub
# Display changes, only to follow along in the logs.
- run: git diff config.guess config.sub
- run: git diff -- config.guess config.sub
- name: Double check if files are modified
run: git status --ignored
- name: Create Pull Request
Expand Down

0 comments on commit 62369e5

Please sign in to comment.