From 1cc959aec2fcd6867f82a399fe273aef732e60e1 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 13:14:51 +0200 Subject: [PATCH 01/37] test: pr checks --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index cbf8f97b..9e68ffbd 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -499,8 +499,7 @@ consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science -merely as any activity that resembles knowing. Hegel adds additional qualifiers -that makes this conception something that is permanently explicit. Science, +merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure science. Furthermore, Hegel goes on to add that pure science or pure logic is From 7bb22277e4a821f7070f509f19cbcf8caf219ee4 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 11:15:30 +0000 Subject: [PATCH 02/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9e68ffbd..cbf8f97b 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -499,7 +499,8 @@ consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science -merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, +merely as any activity that resembles knowing. Hegel adds additional qualifiers +that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure science. Furthermore, Hegel goes on to add that pure science or pure logic is From 4eb75f45abff59bf6c731a11484319a363bec565 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 13:20:36 +0200 Subject: [PATCH 03/37] test: add permissions to workflow --- .github/workflows/verify_formatting.yaml | 1 + src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index b255e8b0..afdc565e 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -10,6 +10,7 @@ jobs: permissions: contents: "write" pull-requests: "write" + actions: "write" runs-on: ubuntu-latest steps: diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index cbf8f97b..91992487 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -496,8 +496,7 @@ writes: Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound -to a limited subject-object dichotomy. What Hegel describes here is simply the -free movement of the knowing mind—an exercise human beings have engaged in +to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, From ae9bea88fe800dbf5a6aedce9dd067b05c5522c4 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 11:20:52 +0000 Subject: [PATCH 04/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 91992487..cbf8f97b 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -496,7 +496,8 @@ writes: Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound -to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in +to a limited subject-object dichotomy. What Hegel describes here is simply the +free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, From 9e5c9ed305b1e1f72d1d9e300a22b82203f1a8ea Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 13:34:00 +0200 Subject: [PATCH 05/37] test: manual trigger in workflow --- .github/workflows/verify_formatting.yaml | 4 ++++ src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index afdc565e..04eb8976 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -44,3 +44,7 @@ jobs: git commit -m "ci: format code with Prettier [on behalf of ${{ github.event.pull_request.user.login }}]" git push origin HEAD:${{ github.event.pull_request.head.ref }} fi + + - name: Invoke workflow + run: | + gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index cbf8f97b..91992487 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -496,8 +496,7 @@ writes: Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound -to a limited subject-object dichotomy. What Hegel describes here is simply the -free movement of the knowing mind—an exercise human beings have engaged in +to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, From 4062bfd68f3ca2d3ddf60fe2ed4762599634233d Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 11:34:19 +0000 Subject: [PATCH 06/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 91992487..cbf8f97b 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -496,7 +496,8 @@ writes: Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound -to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in +to a limited subject-object dichotomy. What Hegel describes here is simply the +free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, From 70719a781b16b2b435a05b203c812fc2563197c0 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 13:37:53 +0200 Subject: [PATCH 07/37] fix: add token --- .github/workflows/verify_formatting.yaml | 3 +++ .github/workflows/verify_mdx_content.yaml | 8 ++++---- src/pages/hegel/guides/science-of-logic-introduction.mdx | 5 ++--- 3 files changed, 9 insertions(+), 7 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 04eb8976..9cacb1bf 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -5,6 +5,9 @@ on: pull_request: branches: [main] +env: + GH_TOKEN: ${{ github.token }} + jobs: formatting: permissions: diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index 49b84169..d92191cf 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -2,10 +2,10 @@ name: Verify MDX Content on: workflow_dispatch: - workflow_run: - workflows: ["Verify formatting"] - types: - - completed +# workflow_run: +# workflows: ["Verify formatting"] +# types: +# - completed jobs: diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index cbf8f97b..f31e0e15 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -489,7 +489,7 @@ writes: > this _is equally pure thought_. As _science_, truth is pure self-consciousness > as it develops itself and has the shape of the self, so that _that which > exists in and for itself is the conscious concept and the concept as such is -> that which exists in and for itself_ (Hegel 2010, 29/21.33). +> that which exists in and for itself_ (Hegel, 2010, 29/21.33). [^2]: [Introduction of _The Science of Logic_ in German at Zeno.org](http://www.zeno.org/Philosophie/M/Hegel,+Georg+Wilhelm+Friedrich/Wissenschaft+der+Logik/Erster+Teil.+Die+objektive+Logik/Einleitung/Allgemeiner+Begriff+der+Logik) @@ -498,8 +498,7 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science -merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 4d925da2a3bf0efb5f91eb5702b864f5af57d99f Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 11:38:11 +0000 Subject: [PATCH 08/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index f31e0e15..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,7 +498,8 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science +merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 3805d0b8d33a32a9fc4178807111bf74dd7c8890 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 13:50:24 +0200 Subject: [PATCH 09/37] test: status set --- .github/workflows/verify_formatting.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 9cacb1bf..7b78de02 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -51,3 +51,6 @@ jobs: - name: Invoke workflow run: | gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} + + - name: Set status check + run: echo "::set-status name=my_check::success::Check passed" From 760cc5a4e347c64ddf316ff29651cd42794240bd Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:01:47 +0200 Subject: [PATCH 10/37] fix: script feedback to pr --- .github/workflows/verify_formatting.yaml | 2 -- .github/workflows/verify_mdx_content.yaml | 20 ++++++++++++++++++- .../guides/science-of-logic-introduction.mdx | 3 +-- 3 files changed, 20 insertions(+), 5 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 7b78de02..4b54cf27 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -52,5 +52,3 @@ jobs: run: | gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} - - name: Set status check - run: echo "::set-status name=my_check::success::Check passed" diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index d92191cf..e7b99321 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -32,6 +32,7 @@ jobs: run: cargo build --release --package prepyrus - name: Run prepyrus script in verification mode + id: prepyrus-run run: target/release/prepyrus absolute_bibliography.bib src/pages verify - name: Save Prepyrus to cache @@ -42,7 +43,24 @@ jobs: path: target/release/prepyrus key: ${{ runner.os }}-cargo-${{ hashFiles('scripts/prepyrus/Cargo.lock') }}-${{ hashFiles('scripts/prepyrus/src/**') }} - + - name: Report tests check + uses: actions/github-script@v3 + with: + github-token: ${{ secrets.GITHUB_TOKEN }} + script: | + github.checks.create({ + name: 'run tests', + head_sha: '${{ github.sha }}', + status: 'completed', + conclusion: '${{ steps.prepyrus-run.outcome }}', + output: { + title: 'Run tests', + summary: 'Results: ${{ steps.prepyrus-run.outcome }}' + }, + owner: context.repo.owner, + repo: context.repo.repo + }) + if: always() # To include multiple paths for the cache: # path: | diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..f31e0e15 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,8 +498,7 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science -merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 9e05c631cfcbcc67dba74a56544069330eeedb4e Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:02:06 +0000 Subject: [PATCH 11/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index f31e0e15..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,7 +498,8 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science +merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 3be8454806e27034bf1a47eff0f7f1d43172974a Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:09:48 +0200 Subject: [PATCH 12/37] test: checks creation --- .github/workflows/verify_mdx_content.yaml | 7 ++++++- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index e7b99321..b35333f5 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -10,6 +10,11 @@ on: jobs: verification: + permissions: + checks: write + issues: write + pull-requests: write + runs-on: ubuntu-latest steps: @@ -50,7 +55,7 @@ jobs: script: | github.checks.create({ name: 'run tests', - head_sha: '${{ github.sha }}', + head_sha: '${{ github.workflow_sha }}', status: 'completed', conclusion: '${{ steps.prepyrus-run.outcome }}', output: { diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..f31e0e15 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,8 +498,7 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science -merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 0374f678cf182e946b96996d172513564968aab6 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:10:06 +0000 Subject: [PATCH 13/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index f31e0e15..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,7 +498,8 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science +merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 4b3d7255bb3c3dfe92ebe9a989f45fd46f96218d Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:23:59 +0200 Subject: [PATCH 14/37] test: pr id pass --- .github/workflows/verify_formatting.yaml | 2 +- .github/workflows/verify_mdx_content.yaml | 12 ++++++++---- .../hegel/guides/science-of-logic-introduction.mdx | 3 +-- 3 files changed, 10 insertions(+), 7 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 4b54cf27..7f3945d7 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -50,5 +50,5 @@ jobs: - name: Invoke workflow run: | - gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} + gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ github.event.pull_request.head.sha }} diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index b35333f5..d85ab59c 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -2,6 +2,10 @@ name: Verify MDX Content on: workflow_dispatch: + inputs: + pr_id: + description: 'Pull Request ID' + required: true # workflow_run: # workflows: ["Verify formatting"] # types: @@ -14,7 +18,7 @@ jobs: checks: write issues: write pull-requests: write - + runs-on: ubuntu-latest steps: @@ -54,12 +58,12 @@ jobs: github-token: ${{ secrets.GITHUB_TOKEN }} script: | github.checks.create({ - name: 'run tests', - head_sha: '${{ github.workflow_sha }}', + name: 'prepyrus verification', + head_sha: '${{ github.inputs.pr_id }}', status: 'completed', conclusion: '${{ steps.prepyrus-run.outcome }}', output: { - title: 'Run tests', + title: 'Prepyrus verification', summary: 'Results: ${{ steps.prepyrus-run.outcome }}' }, owner: context.repo.owner, diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..f31e0e15 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,8 +498,7 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science -merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From f09984465516ab8e1c6f71bf964251564f78819d Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:24:20 +0000 Subject: [PATCH 15/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index f31e0e15..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -498,7 +498,8 @@ Pure science, or pure knowledge, cannot but follow from a freeing of consciousness in that thinking is able to consider an issue without being bound to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in -since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers +since before history. However, it would be inadequate to regard pure science +merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure From 6aba17498c4155a2447d1a3a57fd3b0b46dadfba Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:26:59 +0200 Subject: [PATCH 16/37] fix: workflow event --- .github/workflows/verify_mdx_content.yaml | 2 +- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index d85ab59c..d2d91a01 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -59,7 +59,7 @@ jobs: script: | github.checks.create({ name: 'prepyrus verification', - head_sha: '${{ github.inputs.pr_id }}', + head_sha: '${{ github.event.inputs.pr_id }}', status: 'completed', conclusion: '${{ steps.prepyrus-run.outcome }}', output: { diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..f545b7f5 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -507,8 +507,7 @@ science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed -throughout Hegel's body of work, continuous development and integration are -staple features of the concept. +throughout Hegel's body of work, continuous development and integration are staple features of the concept. This is a nexus of many important technical terms. Pure science, pure form, pure reason, pure knowledge, pure self-consciousness and pure thought. In a manner of From a0961a531f62122a93f6c081e2c8db22888e79bb Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:27:18 +0000 Subject: [PATCH 17/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index f545b7f5..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -507,7 +507,8 @@ science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed -throughout Hegel's body of work, continuous development and integration are staple features of the concept. +throughout Hegel's body of work, continuous development and integration are +staple features of the concept. This is a nexus of many important technical terms. Pure science, pure form, pure reason, pure knowledge, pure self-consciousness and pure thought. In a manner of From 1dbf00dea4be59338bf43e1191330a872010d8cb Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:42:32 +0200 Subject: [PATCH 18/37] test: using script to get sha --- .github/workflows/verify_formatting.yaml | 17 ++++++++++++++++- .../guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 17 insertions(+), 3 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 7f3945d7..842f849d 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -48,7 +48,22 @@ jobs: git push origin HEAD:${{ github.event.pull_request.head.ref }} fi + - name: Get sha from PR number and save output + id: get-sha + uses: actions/github-script@v3 + with: + github-token: ${{ secrets.GITHUB_TOKEN }} + script: | + console.log('PR number: ' + ${{ github.event.pull_request.number }}) + const pr = await github.pulls.get({ + owner: context.repo.owner, + repo: context.repo.repo, + pull_number: ${{ github.event.pull_request.number }} + }) + console.log('PR Head sha: ' + pr.data.head.sha) + core.setOutput('sha', pr.data.head.sha) + - name: Invoke workflow run: | - gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ github.event.pull_request.head.sha }} + gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.get-sha.outputs.sha }} diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..f545b7f5 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -507,8 +507,7 @@ science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed -throughout Hegel's body of work, continuous development and integration are -staple features of the concept. +throughout Hegel's body of work, continuous development and integration are staple features of the concept. This is a nexus of many important technical terms. Pure science, pure form, pure reason, pure knowledge, pure self-consciousness and pure thought. In a manner of From d6b82c38141bcd03d01a9f6c6b800803b6cd3ade Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:42:59 +0000 Subject: [PATCH 19/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index f545b7f5..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -507,7 +507,8 @@ science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed -throughout Hegel's body of work, continuous development and integration are staple features of the concept. +throughout Hegel's body of work, continuous development and integration are +staple features of the concept. This is a nexus of many important technical terms. Pure science, pure form, pure reason, pure knowledge, pure self-consciousness and pure thought. In a manner of From 0fc512cc0edbefbdf2fd0dda0ccdb8b371bb2b39 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:53:41 +0200 Subject: [PATCH 20/37] test: further changes --- .github/workflows/verify_formatting.yaml | 8 ++++++-- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 842f849d..801128d5 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -46,6 +46,9 @@ jobs: git add . git commit -m "ci: format code with Prettier [on behalf of ${{ github.event.pull_request.user.login }}]" git push origin HEAD:${{ github.event.pull_request.head.ref }} + COMMIT_SHA=$(git rev-parse HEAD) + echo "Commit SHA: $COMMIT_SHA" + echo "::set-output name=commit_sha::$COMMIT_SHA" fi - name: Get sha from PR number and save output @@ -65,5 +68,6 @@ jobs: - name: Invoke workflow run: | - gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.get-sha.outputs.sha }} - + echo "SHA: ${{ steps.check-changes.outputs.commit_sha }}" + gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ github.event.pull_request.head.ref }} + # pr_id=${{ steps.get-sha.outputs.sha }} diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..c2473e4a 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -503,8 +503,7 @@ merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure -science. Furthermore, Hegel goes on to add that pure science or pure logic is -not bereft of self-consciousness but _is it in its purity_. Still further, Hegel +science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed throughout Hegel's body of work, continuous development and integration are From 1cba48a6649e3776fea0389ad7a148cbe6f3e40f Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:54:00 +0000 Subject: [PATCH 21/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index c2473e4a..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -503,7 +503,8 @@ merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure -science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel +science. Furthermore, Hegel goes on to add that pure science or pure logic is +not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed throughout Hegel's body of work, continuous development and integration are From 91d4caf399f69e12c2c0f64c105d02f943f5623e Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 14:57:07 +0200 Subject: [PATCH 22/37] test: use commit sha from change --- .github/workflows/verify_formatting.yaml | 2 +- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 801128d5..bf4ac4b5 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -69,5 +69,5 @@ jobs: - name: Invoke workflow run: | echo "SHA: ${{ steps.check-changes.outputs.commit_sha }}" - gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ github.event.pull_request.head.ref }} + gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.check-changes.outputs.commit_sha }} # pr_id=${{ steps.get-sha.outputs.sha }} diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..c2473e4a 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -503,8 +503,7 @@ merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure -science. Furthermore, Hegel goes on to add that pure science or pure logic is -not bereft of self-consciousness but _is it in its purity_. Still further, Hegel +science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed throughout Hegel's body of work, continuous development and integration are From 220f64848a136d767e0539fc354bc15e39e8eb13 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 12:57:30 +0000 Subject: [PATCH 23/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index c2473e4a..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -503,7 +503,8 @@ merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure -science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel +science. Furthermore, Hegel goes on to add that pure science or pure logic is +not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but as it _develops_ itself. As it will be seen in the _Logic_ itself, and indeed throughout Hegel's body of work, continuous development and integration are From 526ff10b902fca17fb646700621d8a1d5524003c Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 15:36:44 +0200 Subject: [PATCH 24/37] test: combined approach --- .github/workflows/pr_quality_control.yaml | 16 +++++++--------- .github/workflows/verify_formatting.yaml | 4 ++-- .github/workflows/verify_mdx_content.yaml | 1 + .../guides/science-of-logic-introduction.mdx | 3 +-- 4 files changed, 11 insertions(+), 13 deletions(-) diff --git a/.github/workflows/pr_quality_control.yaml b/.github/workflows/pr_quality_control.yaml index bfb43b8f..30081cd4 100644 --- a/.github/workflows/pr_quality_control.yaml +++ b/.github/workflows/pr_quality_control.yaml @@ -2,11 +2,11 @@ name: Pull Request Quality Control on: workflow_dispatch: - # pull_request: - # branches: [main] + pull_request: + branches: [main] jobs: - formatting: + format_and_verify: permissions: contents: "write" pull-requests: "write" @@ -42,16 +42,14 @@ jobs: git add . git commit -m "ci: format code with Prettier [on behalf of ${{ github.event.pull_request.user.login }}]" git push origin HEAD:${{ github.event.pull_request.head.ref }} + COMMIT_SHA=$(git rev-parse HEAD) + echo "Commit SHA: $COMMIT_SHA" + echo "::set-output name=commit_sha::$COMMIT_SHA" fi - verification: - needs: formatting - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 with: - ref: ${{ github.event.pull_request.head.sha }} + ref: ${{ steps.check-changes.outputs.commit_sha }} - uses: actions/cache/restore@v4 id: prepyrus-cache-restore diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index bf4ac4b5..2ec08bb3 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -2,8 +2,8 @@ name: Verify formatting on: workflow_dispatch: - pull_request: - branches: [main] +# pull_request: +# branches: [main] env: GH_TOKEN: ${{ github.token }} diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index d2d91a01..3c2f9456 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -71,6 +71,7 @@ jobs: }) if: always() + # head_sha: '${{ github.event.inputs.pr_id }}', # To include multiple paths for the cache: # path: | # ~/.cargo/bin/ diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..d3e90901 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -500,8 +500,7 @@ to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers -that makes this conception something that is permanently explicit. Science, -strictly speaking then, cannot be merely implicit, but must have itself as its +that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel From 39405c17e2b921453cefad9e8e679d3a2cd89529 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 13:37:05 +0000 Subject: [PATCH 25/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index d3e90901..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -500,7 +500,8 @@ to a limited subject-object dichotomy. What Hegel describes here is simply the free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers -that makes this conception something that is permanently explicit. Science, strictly speaking then, cannot be merely implicit, but must have itself as its +that makes this conception something that is permanently explicit. Science, +strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel From 74484e28d4bf890a2735f3af2bfe71c92f9b058c Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 15:42:07 +0200 Subject: [PATCH 26/37] test: dual workflows test --- .github/workflows/pr_quality_control.yaml | 4 +- .github/workflows/verify_formatting.yaml | 42 ++++++++--------- .github/workflows/verify_mdx_content.yaml | 46 ++++++++++--------- .../guides/science-of-logic-introduction.mdx | 3 +- 4 files changed, 48 insertions(+), 47 deletions(-) diff --git a/.github/workflows/pr_quality_control.yaml b/.github/workflows/pr_quality_control.yaml index 30081cd4..c7b3655b 100644 --- a/.github/workflows/pr_quality_control.yaml +++ b/.github/workflows/pr_quality_control.yaml @@ -2,8 +2,8 @@ name: Pull Request Quality Control on: workflow_dispatch: - pull_request: - branches: [main] + # pull_request: + # branches: [main] jobs: format_and_verify: diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 2ec08bb3..9853f171 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -2,8 +2,8 @@ name: Verify formatting on: workflow_dispatch: -# pull_request: -# branches: [main] + pull_request: + branches: [main] env: GH_TOKEN: ${{ github.token }} @@ -51,23 +51,23 @@ jobs: echo "::set-output name=commit_sha::$COMMIT_SHA" fi - - name: Get sha from PR number and save output - id: get-sha - uses: actions/github-script@v3 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - script: | - console.log('PR number: ' + ${{ github.event.pull_request.number }}) - const pr = await github.pulls.get({ - owner: context.repo.owner, - repo: context.repo.repo, - pull_number: ${{ github.event.pull_request.number }} - }) - console.log('PR Head sha: ' + pr.data.head.sha) - core.setOutput('sha', pr.data.head.sha) + # - name: Get sha from PR number and save output + # id: get-sha + # uses: actions/github-script@v3 + # with: + # github-token: ${{ secrets.GITHUB_TOKEN }} + # script: | + # console.log('PR number: ' + ${{ github.event.pull_request.number }}) + # const pr = await github.pulls.get({ + # owner: context.repo.owner, + # repo: context.repo.repo, + # pull_number: ${{ github.event.pull_request.number }} + # }) + # console.log('PR Head sha: ' + pr.data.head.sha) + # core.setOutput('sha', pr.data.head.sha) - - name: Invoke workflow - run: | - echo "SHA: ${{ steps.check-changes.outputs.commit_sha }}" - gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.check-changes.outputs.commit_sha }} - # pr_id=${{ steps.get-sha.outputs.sha }} + # - name: Invoke workflow + # run: | + # echo "SHA: ${{ steps.check-changes.outputs.commit_sha }}" + # gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.check-changes.outputs.commit_sha }} + # # pr_id=${{ steps.get-sha.outputs.sha }} diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index 3c2f9456..81ede9d3 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -2,14 +2,16 @@ name: Verify MDX Content on: workflow_dispatch: - inputs: - pr_id: - description: 'Pull Request ID' - required: true + # inputs: + # pr_id: + # description: 'Pull Request ID' + # required: true # workflow_run: # workflows: ["Verify formatting"] # types: # - completed + pull_request: + branches: [main] jobs: @@ -52,24 +54,24 @@ jobs: path: target/release/prepyrus key: ${{ runner.os }}-cargo-${{ hashFiles('scripts/prepyrus/Cargo.lock') }}-${{ hashFiles('scripts/prepyrus/src/**') }} - - name: Report tests check - uses: actions/github-script@v3 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - script: | - github.checks.create({ - name: 'prepyrus verification', - head_sha: '${{ github.event.inputs.pr_id }}', - status: 'completed', - conclusion: '${{ steps.prepyrus-run.outcome }}', - output: { - title: 'Prepyrus verification', - summary: 'Results: ${{ steps.prepyrus-run.outcome }}' - }, - owner: context.repo.owner, - repo: context.repo.repo - }) - if: always() + # - name: Report tests check + # uses: actions/github-script@v3 + # with: + # github-token: ${{ secrets.GITHUB_TOKEN }} + # script: | + # github.checks.create({ + # name: 'prepyrus verification', + # head_sha: '${{ github.event.inputs.pr_id }}', + # status: 'completed', + # conclusion: '${{ steps.prepyrus-run.outcome }}', + # output: { + # title: 'Prepyrus verification', + # summary: 'Results: ${{ steps.prepyrus-run.outcome }}' + # }, + # owner: context.repo.owner, + # repo: context.repo.repo + # }) + # if: always() # head_sha: '${{ github.event.inputs.pr_id }}', # To include multiple paths for the cache: diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..03a43547 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -501,8 +501,7 @@ free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, -strictly speaking then, cannot be merely implicit, but must have itself as its -own object and that object be itself. This is what minimally constitutes pure +strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but From 8507ed5cd85c57d363e1da9a807c1b565ba34200 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 13:42:26 +0000 Subject: [PATCH 27/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 03a43547..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -501,7 +501,8 @@ free movement of the knowing mind—an exercise human beings have engaged in since before history. However, it would be inadequate to regard pure science merely as any activity that resembles knowing. Hegel adds additional qualifiers that makes this conception something that is permanently explicit. Science, -strictly speaking then, cannot be merely implicit, but must have itself as its own object and that object be itself. This is what minimally constitutes pure +strictly speaking then, cannot be merely implicit, but must have itself as its +own object and that object be itself. This is what minimally constitutes pure science. Furthermore, Hegel goes on to add that pure science or pure logic is not bereft of self-consciousness but _is it in its purity_. Still further, Hegel adds the key qualifier that this is not mere pure self-consciousness as was but From 0fc82745d26e8612f41a97a6180f96a5a0efd6bb Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 15:47:07 +0200 Subject: [PATCH 28/37] test: types specification for verify --- .github/workflows/verify_mdx_content.yaml | 3 +++ src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index 81ede9d3..67e3b19d 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -10,8 +10,11 @@ on: # workflows: ["Verify formatting"] # types: # - completed + push: + branches: [main] pull_request: branches: [main] + types: [edited, opened, synchronize, reopened] jobs: diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..606db8bc 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -477,8 +477,7 @@ conception, inasmuch as it serves to annul the opposite conception that the fact of the matter is _different_ from the thought of it. That, according to Hegel, is an assumption made by consciousness which is ostensibly undermined in _The Phenomenology_ and which undermining is taken for granted at the start of the -_Logic_. Should it be held that the fact of the matter and its thought are -_fundamentally_ different, or that the difference between subject and object is +_Logic_. Should it be held that the fact of the matter and its thought are _fundamentally_ different, or that the difference between subject and object is unquestionably true, then _The Phenomenology_ aims to prove that conception to undermine itself and derive a concept of science from that undermining. As Hegel writes: From 37535d23cf3478f88965e4a8db585342db55ea8c Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 13:47:25 +0000 Subject: [PATCH 29/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 606db8bc..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -477,7 +477,8 @@ conception, inasmuch as it serves to annul the opposite conception that the fact of the matter is _different_ from the thought of it. That, according to Hegel, is an assumption made by consciousness which is ostensibly undermined in _The Phenomenology_ and which undermining is taken for granted at the start of the -_Logic_. Should it be held that the fact of the matter and its thought are _fundamentally_ different, or that the difference between subject and object is +_Logic_. Should it be held that the fact of the matter and its thought are +_fundamentally_ different, or that the difference between subject and object is unquestionably true, then _The Phenomenology_ aims to prove that conception to undermine itself and derive a concept of science from that undermining. As Hegel writes: From 13b15d53f7cc6ff3b83c3615ad7406ef2010f76d Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 19:00:41 +0200 Subject: [PATCH 30/37] test: with separate app --- .github/workflows/verify_formatting.yaml | 7 +++++++ src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 +-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index 9853f171..df93bf11 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -18,10 +18,17 @@ jobs: runs-on: ubuntu-latest steps: + - id: create_token + uses: tibdex/github-app-token@v2 + with: + app_id: ${{ secrets.COG_APP_ID }} + private_key: ${{ secrets.COG_PRIVATE_KEY }} + - name: Checkout uses: actions/checkout@v4 with: ref: ${{ github.event.pull_request.head.ref }} + token: ${{ steps.create_token.outputs.token }} - name: Set up Node.js uses: actions/setup-node@v4 diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..9f3a09e8 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -469,8 +469,7 @@ at best be mere assurances. As with all pre-established forms of logic, at the start of presuppositionless thinking, science too must be emptied of any preconceived notions of what it is. -However, there is an important caveat to this. While nothing definitive can be -said about science, its conception is presupposed at the start of the _The +However, there is an important caveat to this. While nothing definitive can be said about science, its conception is presupposed at the start of the _The Science of Logic_. This conception is the minimal grasp that the fact of the matter (_die Sache_) is equally the thought of it. This is largely a _negative_ conception, inasmuch as it serves to annul the opposite conception that the fact From ca064788c225c11cff0112182558094630bd25f6 Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 17:04:58 +0000 Subject: [PATCH 31/37] ci: format code with Prettier [on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9f3a09e8..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -469,7 +469,8 @@ at best be mere assurances. As with all pre-established forms of logic, at the start of presuppositionless thinking, science too must be emptied of any preconceived notions of what it is. -However, there is an important caveat to this. While nothing definitive can be said about science, its conception is presupposed at the start of the _The +However, there is an important caveat to this. While nothing definitive can be +said about science, its conception is presupposed at the start of the _The Science of Logic_. This conception is the minimal grasp that the fact of the matter (_die Sache_) is equally the thought of it. This is largely a _negative_ conception, inasmuch as it serves to annul the opposite conception that the fact From 5adb49bf3ecc063ecc55b158908bf8a568ec0808 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 19:17:19 +0200 Subject: [PATCH 32/37] test: removing reduancies and testing --- .github/workflows/verify_formatting.yaml | 37 +----- .github/workflows/verify_mdx_content.yaml | 34 +----- logs/deprecated/workflow_experiments.yaml | 109 ++++++++++++++++++ .../guides/science-of-logic-introduction.mdx | 3 +- 4 files changed, 117 insertions(+), 66 deletions(-) create mode 100644 logs/deprecated/workflow_experiments.yaml diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index df93bf11..d56c5355 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -5,15 +5,14 @@ on: pull_request: branches: [main] -env: - GH_TOKEN: ${{ github.token }} +# env: +# GH_TOKEN: ${{ github.token }} jobs: formatting: - permissions: - contents: "write" - pull-requests: "write" - actions: "write" + # permissions: + # contents: "write" + # pull-requests: "write" runs-on: ubuntu-latest steps: @@ -51,30 +50,6 @@ jobs: git config --global user.email "actions@github.com" if [[ `git status --porcelain` ]]; then git add . - git commit -m "ci: format code with Prettier [on behalf of ${{ github.event.pull_request.user.login }}]" + git commit -m "ci: format code [automated action on behalf of ${{ github.event.pull_request.user.login }}]" git push origin HEAD:${{ github.event.pull_request.head.ref }} - COMMIT_SHA=$(git rev-parse HEAD) - echo "Commit SHA: $COMMIT_SHA" - echo "::set-output name=commit_sha::$COMMIT_SHA" fi - - # - name: Get sha from PR number and save output - # id: get-sha - # uses: actions/github-script@v3 - # with: - # github-token: ${{ secrets.GITHUB_TOKEN }} - # script: | - # console.log('PR number: ' + ${{ github.event.pull_request.number }}) - # const pr = await github.pulls.get({ - # owner: context.repo.owner, - # repo: context.repo.repo, - # pull_number: ${{ github.event.pull_request.number }} - # }) - # console.log('PR Head sha: ' + pr.data.head.sha) - # core.setOutput('sha', pr.data.head.sha) - - # - name: Invoke workflow - # run: | - # echo "SHA: ${{ steps.check-changes.outputs.commit_sha }}" - # gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.check-changes.outputs.commit_sha }} - # # pr_id=${{ steps.get-sha.outputs.sha }} diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index 67e3b19d..c72d1af0 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -2,19 +2,9 @@ name: Verify MDX Content on: workflow_dispatch: - # inputs: - # pr_id: - # description: 'Pull Request ID' - # required: true -# workflow_run: -# workflows: ["Verify formatting"] -# types: -# - completed - push: - branches: [main] pull_request: branches: [main] - types: [edited, opened, synchronize, reopened] + # types: [edited, opened, synchronize, reopened] jobs: @@ -28,8 +18,6 @@ jobs: steps: - uses: actions/checkout@v4 - # with: - # ref: ${{ github.event.pull_request.head.sha }} - uses: actions/cache/restore@v4 id: prepyrus-cache-restore @@ -57,26 +45,6 @@ jobs: path: target/release/prepyrus key: ${{ runner.os }}-cargo-${{ hashFiles('scripts/prepyrus/Cargo.lock') }}-${{ hashFiles('scripts/prepyrus/src/**') }} - # - name: Report tests check - # uses: actions/github-script@v3 - # with: - # github-token: ${{ secrets.GITHUB_TOKEN }} - # script: | - # github.checks.create({ - # name: 'prepyrus verification', - # head_sha: '${{ github.event.inputs.pr_id }}', - # status: 'completed', - # conclusion: '${{ steps.prepyrus-run.outcome }}', - # output: { - # title: 'Prepyrus verification', - # summary: 'Results: ${{ steps.prepyrus-run.outcome }}' - # }, - # owner: context.repo.owner, - # repo: context.repo.repo - # }) - # if: always() - - # head_sha: '${{ github.event.inputs.pr_id }}', # To include multiple paths for the cache: # path: | # ~/.cargo/bin/ diff --git a/logs/deprecated/workflow_experiments.yaml b/logs/deprecated/workflow_experiments.yaml new file mode 100644 index 00000000..af3c200d --- /dev/null +++ b/logs/deprecated/workflow_experiments.yaml @@ -0,0 +1,109 @@ +name: Discarded workflow experiments + +on: + workflow_dispatch: + # inputs: + # pr_id: + # description: 'Pull Request ID' + # required: true + # workflow_run: + # workflows: ["Verify formatting"] + # types: + # - completed + pull_request: + branches: [main] + +env: + GH_TOKEN: ${{ github.token }} +# +# ! NOTE, these steps are not meant to be run together, +# ! they are just snippets from different workflows +# +jobs: + formatting: + permissions: + contents: "write" + pull-requests: "write" + actions: "write" + + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + with: + ref: ${{ github.event.pull_request.head.ref }} + token: ${{ steps.create_token.outputs.token }} + + - name: Set up Node.js + uses: actions/setup-node@v4 + with: + node-version: 20 + + - name: Get Prettier version from package-lock.json + run: | + PRETTIER_VERSION=$(grep -m 1 'prettier' package-lock.json | cut -d '"' -f 4 | cut -c 2-) + echo $PRETTIER_VERSION + + - name: Run Prettier (specific version) + run: | + npx --yes prettier@$PRETTIER_VERSION --config .prettierrc --write . + + #extract the latest commit sha from the PR + - name: Check for changes + id: check-changes + run: | + git config --global user.name "sPhil_PR_quality_ctl" + git config --global user.email "actions@github.com" + if [[ `git status --porcelain` ]]; then + git add . + git commit -m "ci: format code with Prettier [on behalf of ${{ github.event.pull_request.user.login }}]" + git push origin HEAD:${{ github.event.pull_request.head.ref }} + COMMIT_SHA=$(git rev-parse HEAD) + echo "Commit SHA: $COMMIT_SHA" + echo "::set-output name=commit_sha::$COMMIT_SHA" + fi + + #extract the latest commit sha from the PR using script + - name: Get sha from PR number and save output + id: get-sha + uses: actions/github-script@v3 + with: + github-token: ${{ secrets.GITHUB_TOKEN }} + script: | + console.log('PR number: ' + ${{ github.event.pull_request.number }}) + const pr = await github.pulls.get({ + owner: context.repo.owner, + repo: context.repo.repo, + pull_number: ${{ github.event.pull_request.number }} + }) + console.log('PR Head sha: ' + pr.data.head.sha) + core.setOutput('sha', pr.data.head.sha) + + #invoke another workflow using custom inputs + - name: Invoke workflow + run: | + echo "SHA: ${{ steps.check-changes.outputs.commit_sha }}" + gh workflow run verify_mdx_content.yaml --ref ${{ github.event.pull_request.head.ref }} -f pr_id=${{ steps.check-changes.outputs.commit_sha }} + # pr_id=${{ steps.get-sha.outputs.sha }} + + #creating checks for the workflow + - name: Report tests check + uses: actions/github-script@v3 + with: + github-token: ${{ secrets.GITHUB_TOKEN }} + script: | + github.checks.create({ + name: 'prepyrus verification', + head_sha: '${{ github.event.inputs.pr_id }}', + status: 'completed', + conclusion: '${{ steps.prepyrus-run.outcome }}', + output: { + title: 'Prepyrus verification', + summary: 'Results: ${{ steps.prepyrus-run.outcome }}' + }, + owner: context.repo.owner, + repo: context.repo.repo + }) + if: always() + + # head_sha: '${{ github.event.inputs.pr_id }}', diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..40bb8d0b 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -463,8 +463,7 @@ intermingled with anything other than logic itself. At the start of _The Science of Logic_, the term science is lightly presupposed. Hegel claims that the concept of science is established in _The Phenomenology of -Spirit_ (another major treatise by Hegel), but that he is cautious of providing -any definitions of it at the outset. This is because any such definitions will +Spirit_ (another major treatise by Hegel), but that he is cautious of providing any definitions of it at the outset. This is because any such definitions will at best be mere assurances. As with all pre-established forms of logic, at the start of presuppositionless thinking, science too must be emptied of any preconceived notions of what it is. From 80324d65961de5753e0c7c3e70e7e3b97a9bdf4e Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 17:17:41 +0000 Subject: [PATCH 33/37] ci: format code [automated action on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 40bb8d0b..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -463,7 +463,8 @@ intermingled with anything other than logic itself. At the start of _The Science of Logic_, the term science is lightly presupposed. Hegel claims that the concept of science is established in _The Phenomenology of -Spirit_ (another major treatise by Hegel), but that he is cautious of providing any definitions of it at the outset. This is because any such definitions will +Spirit_ (another major treatise by Hegel), but that he is cautious of providing +any definitions of it at the outset. This is because any such definitions will at best be mere assurances. As with all pre-established forms of logic, at the start of presuppositionless thinking, science too must be emptied of any preconceived notions of what it is. From 7a9cdcd60b9186691a3dd81c6eee0cb3a9e327b3 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 19:22:28 +0200 Subject: [PATCH 34/37] chore: final cleanup and test --- .github/workflows/pr_quality_control.yaml | 87 ------------------- .github/workflows/verify_formatting.yaml | 10 +-- .github/workflows/verify_mdx_content.yaml | 13 +-- .../guides/science-of-logic-introduction.mdx | 5 +- 4 files changed, 8 insertions(+), 107 deletions(-) delete mode 100644 .github/workflows/pr_quality_control.yaml diff --git a/.github/workflows/pr_quality_control.yaml b/.github/workflows/pr_quality_control.yaml deleted file mode 100644 index c7b3655b..00000000 --- a/.github/workflows/pr_quality_control.yaml +++ /dev/null @@ -1,87 +0,0 @@ -name: Pull Request Quality Control - -on: - workflow_dispatch: - # pull_request: - # branches: [main] - -jobs: - format_and_verify: - permissions: - contents: "write" - pull-requests: "write" - - runs-on: ubuntu-latest - steps: - - - name: Checkout - uses: actions/checkout@v4 - with: - ref: ${{ github.event.pull_request.head.ref }} - - - name: Set up Node.js - uses: actions/setup-node@v4 - with: - node-version: 20 - - - name: Get Prettier version from package-lock.json - run: | - PRETTIER_VERSION=$(grep -m 1 'prettier' package-lock.json | cut -d '"' -f 4 | cut -c 2-) - echo $PRETTIER_VERSION - - - name: Run Prettier (specific version) - run: | - npx --yes prettier@$PRETTIER_VERSION --config .prettierrc --write . - - - name: Check for changes - id: check-changes - run: | - git config --global user.name "sPhil_PR_quality_ctl" - git config --global user.email "actions@github.com" - if [[ `git status --porcelain` ]]; then - git add . - git commit -m "ci: format code with Prettier [on behalf of ${{ github.event.pull_request.user.login }}]" - git push origin HEAD:${{ github.event.pull_request.head.ref }} - COMMIT_SHA=$(git rev-parse HEAD) - echo "Commit SHA: $COMMIT_SHA" - echo "::set-output name=commit_sha::$COMMIT_SHA" - fi - - - uses: actions/checkout@v4 - with: - ref: ${{ steps.check-changes.outputs.commit_sha }} - - - uses: actions/cache/restore@v4 - id: prepyrus-cache-restore - with: - path: target/release/prepyrus - key: ${{ runner.os }}-cargo-${{ hashFiles('scripts/prepyrus/Cargo.lock') }}-${{ hashFiles('scripts/prepyrus/src/**') }} - - - name: Install Rust - if: steps.prepyrus-cache-restore.outputs.cache-hit != 'true' - uses: actions-rust-lang/setup-rust-toolchain@v1 - - - name: Install dependencies - if: steps.prepyrus-cache-restore.outputs.cache-hit != 'true' - run: cargo build --release --package prepyrus - - - name: Run prepyrus script in verification mode - run: target/release/prepyrus absolute_bibliography.bib src/pages verify - - - name: Save Prepyrus to cache - id: prepyrus-cache-save - if: steps.prepyrus-cache-restore.outputs.cache-hit != 'true' - uses: actions/cache/save@v4 - with: - path: target/release/prepyrus - key: ${{ runner.os }}-cargo-${{ hashFiles('scripts/prepyrus/Cargo.lock') }}-${{ hashFiles('scripts/prepyrus/src/**') }} - - - -# To include multiple paths for the cache: -# path: | -# ~/.cargo/bin/ -# ~/.cargo/registry/index/ -# ~/.cargo/registry/cache/ -# ~/.cargo/git/db/ -# target/ diff --git a/.github/workflows/verify_formatting.yaml b/.github/workflows/verify_formatting.yaml index d56c5355..0fcf6dc8 100644 --- a/.github/workflows/verify_formatting.yaml +++ b/.github/workflows/verify_formatting.yaml @@ -5,19 +5,13 @@ on: pull_request: branches: [main] -# env: -# GH_TOKEN: ${{ github.token }} - jobs: formatting: - # permissions: - # contents: "write" - # pull-requests: "write" - runs-on: ubuntu-latest steps: - - id: create_token + - name: Generate COG token + id: create_token uses: tibdex/github-app-token@v2 with: app_id: ${{ secrets.COG_APP_ID }} diff --git a/.github/workflows/verify_mdx_content.yaml b/.github/workflows/verify_mdx_content.yaml index c72d1af0..7f61b2cf 100644 --- a/.github/workflows/verify_mdx_content.yaml +++ b/.github/workflows/verify_mdx_content.yaml @@ -4,22 +4,17 @@ on: workflow_dispatch: pull_request: branches: [main] - # types: [edited, opened, synchronize, reopened] - jobs: verification: - permissions: - checks: write - issues: write - pull-requests: write - runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - name: Checkout + uses: actions/checkout@v4 - - uses: actions/cache/restore@v4 + - name: Revive Prepyrus + uses: actions/cache/restore@v4 id: prepyrus-cache-restore with: path: target/release/prepyrus diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..a81350bf 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -469,8 +469,7 @@ at best be mere assurances. As with all pre-established forms of logic, at the start of presuppositionless thinking, science too must be emptied of any preconceived notions of what it is. -However, there is an important caveat to this. While nothing definitive can be -said about science, its conception is presupposed at the start of the _The +However, there is an important caveat to this. While nothing definitive can be said about science, its conception is presupposed at the start of the _The Science of Logic_. This conception is the minimal grasp that the fact of the matter (_die Sache_) is equally the thought of it. This is largely a _negative_ conception, inasmuch as it serves to annul the opposite conception that the fact @@ -489,7 +488,7 @@ writes: > this _is equally pure thought_. As _science_, truth is pure self-consciousness > as it develops itself and has the shape of the self, so that _that which > exists in and for itself is the conscious concept and the concept as such is -> that which exists in and for itself_ (Hegel, 2010, 29/21.33). +> that which exists in and for itself_ (Hegel 2010, 29/21.33). [^2]: [Introduction of _The Science of Logic_ in German at Zeno.org](http://www.zeno.org/Philosophie/M/Hegel,+Georg+Wilhelm+Friedrich/Wissenschaft+der+Logik/Erster+Teil.+Die+objektive+Logik/Einleitung/Allgemeiner+Begriff+der+Logik) From eb7d3bf57d1bd9af99a6706485a4263cc091a0fa Mon Sep 17 00:00:00 2001 From: sPhil_PR_quality_ctl Date: Sat, 17 Aug 2024 17:22:48 +0000 Subject: [PATCH 35/37] ci: format code [automated action on behalf of Firgrep] --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index a81350bf..cbf8f97b 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -469,7 +469,8 @@ at best be mere assurances. As with all pre-established forms of logic, at the start of presuppositionless thinking, science too must be emptied of any preconceived notions of what it is. -However, there is an important caveat to this. While nothing definitive can be said about science, its conception is presupposed at the start of the _The +However, there is an important caveat to this. While nothing definitive can be +said about science, its conception is presupposed at the start of the _The Science of Logic_. This conception is the minimal grasp that the fact of the matter (_die Sache_) is equally the thought of it. This is largely a _negative_ conception, inasmuch as it serves to annul the opposite conception that the fact From d7bf466f524c97c687b35a23599a2cb42fbe33cd Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 19:26:02 +0200 Subject: [PATCH 36/37] test: make citation error --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index cbf8f97b..9bca82e3 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -489,7 +489,7 @@ writes: > this _is equally pure thought_. As _science_, truth is pure self-consciousness > as it develops itself and has the shape of the self, so that _that which > exists in and for itself is the conscious concept and the concept as such is -> that which exists in and for itself_ (Hegel 2010, 29/21.33). +> that which exists in and for itself_ (Hegel, 2010, 29/21.33). [^2]: [Introduction of _The Science of Logic_ in German at Zeno.org](http://www.zeno.org/Philosophie/M/Hegel,+Georg+Wilhelm+Friedrich/Wissenschaft+der+Logik/Erster+Teil.+Die+objektive+Logik/Einleitung/Allgemeiner+Begriff+der+Logik) From 44a422cad4d5524334da45eb7e1abeee5940ce58 Mon Sep 17 00:00:00 2001 From: Filip Niklas <118931755+Firgrep@users.noreply.github.com> Date: Sat, 17 Aug 2024 19:27:28 +0200 Subject: [PATCH 37/37] test: remove citation error --- src/pages/hegel/guides/science-of-logic-introduction.mdx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pages/hegel/guides/science-of-logic-introduction.mdx b/src/pages/hegel/guides/science-of-logic-introduction.mdx index 9bca82e3..cbf8f97b 100644 --- a/src/pages/hegel/guides/science-of-logic-introduction.mdx +++ b/src/pages/hegel/guides/science-of-logic-introduction.mdx @@ -489,7 +489,7 @@ writes: > this _is equally pure thought_. As _science_, truth is pure self-consciousness > as it develops itself and has the shape of the self, so that _that which > exists in and for itself is the conscious concept and the concept as such is -> that which exists in and for itself_ (Hegel, 2010, 29/21.33). +> that which exists in and for itself_ (Hegel 2010, 29/21.33). [^2]: [Introduction of _The Science of Logic_ in German at Zeno.org](http://www.zeno.org/Philosophie/M/Hegel,+Georg+Wilhelm+Friedrich/Wissenschaft+der+Logik/Erster+Teil.+Die+objektive+Logik/Einleitung/Allgemeiner+Begriff+der+Logik)