@@ -11,15 +11,12 @@ jobs:
12 name: Build docs
12 name: Build docs
13 runs-on: ubuntu-latest
13 runs-on: ubuntu-latest
16− working-directory: docs
18− - uses: actions/checkout@v1
15+ - uses: actions/checkout@v2
19 - uses: cachix/install-nix-action@v13
16 - uses: cachix/install-nix-action@v13
20 - name: Create /nix/store
17 - name: Create /nix/store
22− sudo rm -rf /nix/store
19+ # sudo rm -rf /nix/store
23 sudo mkdir -p /nix/store
20 sudo mkdir -p /nix/store
24 sudo chown --verbose "$USER:" /nix/store
21 sudo chown --verbose "$USER:" /nix/store
25 - name: Cache
22 - name: Cache
@@ -27,12 +24,13 @@ jobs:
29 /nix/store
26 /nix/store
30− key: ${{ runner.os }}-nix-${{ hashFiles('**.nix') }}
27+ key: ${{ runner.os }}-nix-docs-${{ hashFiles('docs/**/*.nix') }}
31 restore-keys: |
28 restore-keys: |
32− ${{ runner.os }}-nix-
29+ ${{ runner.os }}-nix-docs-
33 - name: Build
30 - name: Build
37 for f in $(nix-build)
35 for f in $(nix-build)
@@ -41,7 +39,7 @@ jobs:
41 - uses: actions/upload-artifact@v2
39 - uses: actions/upload-artifact@v2
43 name: docs
41 name: docs
44− path: res/*.pdf
42+ path: docs/res/*.pdf
45 - uses: "marvinpinto/action-automatic-releases@latest"
43 - uses: "marvinpinto/action-automatic-releases@latest"
47 repo_token: "${{ secrets.GITHUB_TOKEN }}"
45 repo_token: "${{ secrets.GITHUB_TOKEN }}"
@@ -49,7 +47,7 @@ jobs:
49 # prerelease: true
47 # prerelease: true
50 title: "Docs"
48 title: "Docs"
52− res/*.pdf
50+ docs/res/*.pdf
53 # - name: Create Release
51 # - name: Create Release
54 # uses: actions/create-release@v1
52 # uses: actions/create-release@v1