From 05196976636b4d5eff583e89c43372eb20c702ec Mon Sep 17 00:00:00 2001 From: wbglaeser Date: Thu, 11 Apr 2024 16:13:49 +0200 Subject: [PATCH] drop artifact pipeline --- .github/workflows/artifacts.yml | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 .github/workflows/artifacts.yml diff --git a/.github/workflows/artifacts.yml b/.github/workflows/artifacts.yml deleted file mode 100644 index 96ced83..0000000 --- a/.github/workflows/artifacts.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Produce artifacts - -on: - push: - branches: - - main -jobs: - build: - runs-on: ubuntu-latest - - steps: - - name: check out repository - uses: actions/checkout@v3 - - - name: archive requirement profiles - run: zip -r requirement_profiles.zip shacl/ - - - name: upload zipped artifact - uses: actions/upload-artifact@v2 - with: - name: zipped-requirement-profiles - path: requirement_profiles.zip