diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-30 20:57:20 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-30 20:57:20 +0100 |
| commit | 4223935b124a0b16053aef719abccdc5fca36287 (patch) | |
| tree | aec2e3d5effc595fe310b18c457290e7b04ea760 /.github/workflows/build-debian-package.yml | |
| parent | 8dc1ed83b603d5ebb170912b4cefec0cf353288c (diff) | |
Combine binary workflows into one with multiple jobs
Diffstat (limited to '.github/workflows/build-debian-package.yml')
| -rw-r--r-- | .github/workflows/build-debian-package.yml | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/.github/workflows/build-debian-package.yml b/.github/workflows/build-debian-package.yml deleted file mode 100644 index 02a0b3846..000000000 --- a/.github/workflows/build-debian-package.yml +++ /dev/null @@ -1,45 +0,0 @@ -name: Build Debian Package - -on: - workflow_dispatch: - -jobs: - build: - name: Build on ${{ matrix.os }} - runs-on: ${{ matrix.os }} - strategy: - matrix: - os: [ubuntu-18.04] - env: - LC_ALL: C.UTF-8 - - steps: - - uses: actions/checkout@v2 - - - name: Install build tools - run: | - sudo apt update - sudo apt install -y \ - make \ - dpkg-dev \ - debhelper \ - haskell-platform \ - libghc-json-dev \ - python-dev \ - default-jdk \ - libtool-bin - - - name: Build Debian package - run: | - make deb - - - name: Copy package - run: | - cp ../gf_*.deb dist/ - - - name: Upload artifact - uses: actions/upload-artifact@v2 - with: - name: gf-${{ github.sha }}-debian - path: dist/gf_*.deb - if-no-files-found: error |
