Separate documentation in main.yml

.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