Skip to content

Commit

Permalink
Create lints.yml (#110)
Browse files Browse the repository at this point in the history
  • Loading branch information
yvan-sraka authored Oct 18, 2023
1 parent 647802e commit 979fc22
Showing 1 changed file with 50 additions and 0 deletions.
50 changes: 50 additions & 0 deletions .github/workflows/lints.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
name: "Lints"

on:
workflow_dispatch:
pull_request:
branches:
- master

push:
branches:
- master

defaults:
run:
shell: bash

# do we really want nixos-unstable?
env:
NIX_PATH: "nixpkgs=channel:nixos-unstable"
REVIEWDOG_GITHUB_API_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# PR_NUMBER: ${{ github.event.number }}

jobs:
deadnix:
runs-on: [self-hosted, linux]
steps:
- uses: actions/checkout@v3
- run: |
nix run github:astro/deadnix -- --edit --no-lambda-pattern-names
TMPFILE=$(mktemp)
git diff >"${TMPFILE}"
git stash -u && git stash drop
nix-shell -p reviewdog --run "reviewdog -f=diff -f.diff.strip=1 -reporter=github-pr-review < \"${TMPFILE}\""
nixprof:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: cachix/install-nix-action@v22
with:
nix_path: nixpkgs=channel:nixos-unstable
- run: |
nix profile install github:Kha/nixprof
nixprof record nix develop .#ghc8107 --accept-flake-config
nixprof report -p
nixprof report -a
nixprof report -s
# FIXME: is that the right way to publish a report on GitHub?
# curl -s -H "Authorization: token $GITHUB_TOKEN" -X POST -d "{\"body\": \"$report\"}" "https://api.github.com/repos/input-output-hk/haskell.nix/issues/$PR_NUMBER/comments"

0 comments on commit 979fc22

Please sign in to comment.