Skip to content

Merge pull request #27 from dadada/dev/add-pretty-buttons #65

Merge pull request #27 from dadada/dev/add-pretty-buttons

Merge pull request #27 from dadada/dev/add-pretty-buttons #65

Workflow file for this run

name: Nix Related Actions
on:
pull_request:
push:
branches: [main]
jobs:
checks:
name: Nix Checks
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: cachix/install-nix-action@v13
with:
nix_path: nixpkgs=channel:nixos-stable
extra_nix_config: |
experimental-features = nix-command flakes
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
- name: Run Checks
run: nix flake check
verify:
name: Verifications
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
command:
- verify-no_std
- verify-doc
- verify-features
- verify-tests
- verify-examples
steps:
- uses: actions/checkout@v2
- uses: cachix/install-nix-action@v13
with:
nix_path: nixpkgs=channel:nixos-stable
extra_nix_config: |
experimental-features = nix-command flakes
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
- name: Run verify commands
run: nix develop --command ${{ matrix.command }}