From 32d66dc3f1b48416ba595bedf1b15f2c48b17c54 Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Wed, 2 Mar 2022 19:32:59 +0100 Subject: [PATCH] Separate documentation in main.yml --- .github/workflows/main.yml | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7f69693..1629897 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,25 +1,17 @@ -# This is a basic workflow to help you get started with Actions name: CI -# Controls when the action will run. Triggers the workflow on push or pull request -# events but only for the master branch on: push: branches: [ master ] pull_request: branches: [ master ] -# A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: - # This workflow contains a single job called "build" build: - # The type of runner that the job will run on runs-on: ubuntu-latest - # Steps represent a sequence of tasks that will be executed as part of the job steps: - # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - uses: actions/checkout@v2.3.4 - name: Install Nix @@ -49,6 +41,9 @@ jobs: - name: clang → Build bench run: nix-shell --arg with-clang true --run 'make bench CONFIG=clang' + documentation: + runs-on: ubuntu-latest + steps: - name: create doc run: | mkdir -p doc