From 9ca1e3d32197e4729a71c4e07d24c6a6084aaa3d Mon Sep 17 00:00:00 2001 From: Peter Lukacs Date: Wed, 10 Aug 2022 11:47:36 +0200 Subject: [PATCH] Remove build and deploy stage Cannot update binlog.org from here. The site will be updated from the owner's (Benedek Thaler) fork. --- .github/workflows/on_push_main.yml | 35 ------------------------------ 1 file changed, 35 deletions(-) delete mode 100644 .github/workflows/on_push_main.yml diff --git a/.github/workflows/on_push_main.yml b/.github/workflows/on_push_main.yml deleted file mode 100644 index 1a0783a..0000000 --- a/.github/workflows/on_push_main.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Build and Deploy Site -on: - push: - branches: - - main - -jobs: - build-and-deploy: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v2.3.1 - with: - persist-credentials: false - - - name: Install Dependencies - run: | - sudo apt-get install -y python3-markdown - - - name: Build - run: | - set -x - mkdir Release - cd Release - cmake .. - make Documentation - mkdir doc - cp ../doc/index.html *.html doc - - - name: Deploy - uses: JamesIves/github-pages-deploy-action@4.0.0 - with: - branch: gh-pages - folder: Release/doc - clean: true # Automatically remove deleted files from the deploy branch