Use de Bruijn indices for all type-level variables #1716
Nadrierilci.yml
on: pull_request
Annotations
2 errors and 2 warnings
|
check-version-number
Process completed with exit code 1.
|
|
nix
Process completed with exit code 1.
|
|
check-version-number
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.320.0. Please update to the latest version 2.321.0
|
|
nix
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.320.0. Please update to the latest version 2.321.0
|