From d6f19cb328cb6457afcaf1ae40d76f2c1f37993f Mon Sep 17 00:00:00 2001 From: Saransh Chopra Date: Sat, 9 Sep 2023 21:12:35 +0530 Subject: [PATCH 1/6] Update `actions/checkout` with `fetch-depth: 0` --- .github/workflows/directory_writer.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/directory_writer.yml b/.github/workflows/directory_writer.yml index 331962cef11e..702c15f1e29b 100644 --- a/.github/workflows/directory_writer.yml +++ b/.github/workflows/directory_writer.yml @@ -6,7 +6,9 @@ jobs: build: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v1 # v1, NOT v2 or v3 + - uses: actions/checkout@v4 + with: + fetch-depth: 0 - uses: actions/setup-python@v4 with: python-version: 3.x From 3567ea594b8ba2d4b3401108abce785c5ef81279 Mon Sep 17 00:00:00 2001 From: Christian Clauss Date: Sat, 9 Sep 2023 17:54:23 +0200 Subject: [PATCH 2/6] Update directory_writer.yml --- .github/workflows/directory_writer.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/directory_writer.yml b/.github/workflows/directory_writer.yml index 702c15f1e29b..12e49fbaab49 100644 --- a/.github/workflows/directory_writer.yml +++ b/.github/workflows/directory_writer.yml @@ -1,5 +1,5 @@ # The objective of this GitHub Action is to update the DIRECTORY.md file (if needed) -# when doing a git push +# when doing a git push. name: directory_writer on: [push] jobs: From 785002e2032b9d57433b797b4bb6c5f7ff85a434 Mon Sep 17 00:00:00 2001 From: Christian Clauss Date: Sat, 9 Sep 2023 17:56:53 +0200 Subject: [PATCH 3/6] Create junk.py --- arithmetic_analysis/junk.py | 1 + 1 file changed, 1 insertion(+) create mode 100644 arithmetic_analysis/junk.py diff --git a/arithmetic_analysis/junk.py b/arithmetic_analysis/junk.py new file mode 100644 index 000000000000..8b137891791f --- /dev/null +++ b/arithmetic_analysis/junk.py @@ -0,0 +1 @@ + From 44c88e7dbd46b341d16b80fae8962d2340478e17 Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Sat, 9 Sep 2023 15:57:25 +0000 Subject: [PATCH 4/6] [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --- arithmetic_analysis/junk.py | 1 - 1 file changed, 1 deletion(-) diff --git a/arithmetic_analysis/junk.py b/arithmetic_analysis/junk.py index 8b137891791f..e69de29bb2d1 100644 --- a/arithmetic_analysis/junk.py +++ b/arithmetic_analysis/junk.py @@ -1 +0,0 @@ - From c7c047c235b0530e5237da6c5a2de238c92c4951 Mon Sep 17 00:00:00 2001 From: Christian Clauss Date: Sat, 9 Sep 2023 19:55:32 +0200 Subject: [PATCH 5/6] Update directory_writer.yml --- .github/workflows/directory_writer.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/directory_writer.yml b/.github/workflows/directory_writer.yml index 12e49fbaab49..84e0a752ceab 100644 --- a/.github/workflows/directory_writer.yml +++ b/.github/workflows/directory_writer.yml @@ -1,7 +1,7 @@ # The objective of this GitHub Action is to update the DIRECTORY.md file (if needed) -# when doing a git push. +# when doing a git push name: directory_writer -on: [push] +on: [push, pull_request] jobs: build: runs-on: ubuntu-latest From f7f63236eb600e93beb26550cf389f4f61813f61 Mon Sep 17 00:00:00 2001 From: Christian Clauss Date: Sat, 9 Sep 2023 19:58:01 +0200 Subject: [PATCH 6/6] Update directory_writer.yml --- .github/workflows/directory_writer.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/directory_writer.yml b/.github/workflows/directory_writer.yml index 84e0a752ceab..702c15f1e29b 100644 --- a/.github/workflows/directory_writer.yml +++ b/.github/workflows/directory_writer.yml @@ -1,7 +1,7 @@ # The objective of this GitHub Action is to update the DIRECTORY.md file (if needed) # when doing a git push name: directory_writer -on: [push, pull_request] +on: [push] jobs: build: runs-on: ubuntu-latest