Move manpage to share/man/man1 in Linux tarball #673
Annotations
6 warnings
|
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dhall/src/Dhall/DirectoryTree.hs#L271
Defined but not used: `name'
|
|
dhall/src/Dhall/DirectoryTree.hs#L282
Defined but not used: `name'
|
|
dhall/tests/Dhall/Test/DirectoryTree.hs#L69
Defined but not used: `fixpointedPermissions'
|
|
dhall/tests/Dhall/Test/DirectoryTree.hs#L82
Defined but not used: `fixpointedUserGroup'
|
|
dhall-lsp-server/src/Dhall/LSP/Handlers.hs#L70
Module `Language.LSP.Types' does not export `line'
|
The logs for this run have expired and are no longer available.
Loading