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)