chore(ci): remove post CI result posting steps and delete related script

This commit is contained in:
2026-01-04 11:27:05 -06:00
parent 9b8086a855
commit 306557c473
5 changed files with 4 additions and 167 deletions

View File

@@ -37,12 +37,6 @@ jobs:
set -o pipefail
task lint 2>&1 | tee lint_results.txt
- name: Post Results to PR
if: always() && github.event_name == 'pull_request'
env:
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
run: bash scripts/post_ci_results.sh "Linting" lint_results.txt
build-frontend:
runs-on: ubuntu-latest
steps:
@@ -71,12 +65,6 @@ jobs:
env:
VITE_APP_VERSION: ${{ steps.version.outputs.version }}
- name: Post Results to PR
if: always() && github.event_name == 'pull_request'
env:
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
run: bash scripts/post_ci_results.sh "Frontend Build" build_results.txt
test-backend:
runs-on: ubuntu-latest
steps:
@@ -95,12 +83,6 @@ jobs:
set -o pipefail
task compile 2>&1 | tee compile_results.txt
- name: Post Results to PR
if: always() && github.event_name == 'pull_request'
env:
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
run: bash scripts/post_ci_results.sh "Backend Compilation" compile_results.txt
test-lang:
runs-on: ubuntu-latest
steps:
@@ -127,9 +109,3 @@ jobs:
run: |
set -o pipefail
task test-lang 2>&1 | tee lang_results.txt
- name: Post Results to PR
if: always() && github.event_name == 'pull_request'
env:
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
run: bash scripts/post_ci_results.sh "Language Tests" lang_results.txt