Skip to content

Fix error: `failed to create directory via template '/tmp/nix-shell.X… #1

Fix error: `failed to create directory via template '/tmp/nix-shell.X…

Fix error: `failed to create directory via template '/tmp/nix-shell.X… #1

Workflow file for this run

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@v4
- 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@v4
- 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"