dev: should reduce CI build times

This commit is contained in:
NotAShelf 2023-02-06 22:02:44 +03:00
parent 7db1f6779c
commit 6694b65c82
No known key found for this signature in database
GPG key ID: 5B5C8895F28445F1
3 changed files with 9 additions and 6 deletions

View file

@ -3,10 +3,12 @@ name: build-and-cache
on:
workflow_dispatch:
push:
branches:
- main
paths-ignore:
- '**/README.md'
- '**/.gitignore'
- '**/assets'
- '.github/**'
- './assets/**'
- '.gitignore'
jobs:
nix:

View file

@ -1,10 +1,10 @@
name: "Pull request"
name: "Check validity of flakes"
on:
pull_request:
workflow_dispatch:
push:
branches:
- main
workflow_dispatch:
jobs:
nix-flake-check:
runs-on: ubuntu-latest

View file

@ -1,5 +1,6 @@
name: Github Pages docs
on:
workflow_dispatch:
push:
branches:
- main
@ -25,7 +26,7 @@ jobs:
uses: cachix/install-nix-action@v18
- name: Build
run: |
nix build '.#docs-html'
nix build '.#docs'
cp -r result/share/doc/neovim-flake public
- name: Deploy
uses: peaceiris/actions-gh-pages@v3