Use new(ish) dependency filter to improve navigation/hover for dctors #138
nwolversonAnnotations
1 warning
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, nwolverson/setup-purescript@30d9b862f160b3a09a21a6457d6bc0d1ac9e92f3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|