Skip to content

build: remove support to build Debian package (#56) #16

build: remove support to build Debian package (#56)

build: remove support to build Debian package (#56) #16

# Copyright (c) 2021 ICHIRO ITS
#
# Use of this source code is governed by an MIT-style
# license that can be found in the LICENSE file or at
# https://opensource.org/licenses/MIT.
name: Deploy Documentation
on:
workflow_dispatch:
push:
branches: [master]
jobs:
deploy-documentation:
runs-on: ubuntu-20.04
permissions:
id-token: write
pages: write
environment:
name: github-pages
url: ${{ steps.deploy-pages.outputs.page_url }}
concurrency:
group: pages
cancel-in-progress: true
steps:
- name: Checkout this repository
uses: actions/[email protected]
with:
path: musen
- name: Install documentation dependencies
run: |
sudo apt-get update
sudo apt-get install -y doxygen
- name: Create a build directory
run: mkdir build
- name: Configure CMake
working-directory: build
run: cmake ../musen
- name: Build documentation
working-directory: build
run: make doc
- name: Upload Documentation
uses: actions/[email protected]
with:
path: musen/doc
- name: Deploy Pages
id: deploy-pages
uses: actions/[email protected]