Skip to content

Improve type variables name allocation when reporting type errors #2613

Improve type variables name allocation when reporting type errors

Improve type variables name allocation when reporting type errors #2613

Workflow file for this run

name: Deploy preview
on:
pull_request:
merge_group:
jobs:
deploy:
uses: tweag/nickel-lang.org/.github/workflows/deploy.yml@master
with:
production_deploy: false
secrets:
CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_TWEAG_NICKEL_AUTH_TOKEN }}
NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}