diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8d853338..99746764 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,5 +1,12 @@ name: CI -on: [push, pull_request] +on: + workflow_dispatch: + inputs: + ref: + description: 'ref' + required: false + push: + pull_request: jobs: docs: @@ -8,6 +15,8 @@ jobs: COLOR: "ON" steps: - uses: actions/checkout@v2 + with: + ref: ${{ github.event.inputs.ref }} - name: Install Dependencies run: sudo apt-get install -y python3-sphinx - name: Build Documentation @@ -71,6 +80,7 @@ jobs: - uses: actions/checkout@v2 with: submodules: true + ref: ${{ github.event.inputs.ref }} - name: Summary run: ./common/ci/summary.sh - name: Configure