CI #1210
vrom911Annotations
80 warnings
|
hlint
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.0.2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.0.2:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 8.10.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.2.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.2.3:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.4.8
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.4.8:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.4.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.4.7:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.6.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.6.7:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.10.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.10.3:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.10.3:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.10.3:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.10.3:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.8.4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.8.4:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.8.4:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.8.4:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.4:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.12.2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.12.2:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.12.2:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.12.2:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.12.2:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
windows-latest / ghc 9.0.2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.0.2:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
stack / ghc 9.10.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.2.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.2.3:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 9.4.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.4.7:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
ubuntu-latest / ghc 9.0.1
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 9.0.1:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 9.6.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.6.7:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
macOS-latest / ghc 9.6.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.6.7:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 8.10.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ubuntu-latest / ghc 8.8.4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.4.8
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.4.8:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
macOS-latest / ghc 9.4.8
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.4.8:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
macOS-latest / ghc 9.10.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.10.3:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
macOS-latest / ghc 9.10.3:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
macOS-latest / ghc 9.10.3:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
macOS-latest / ghc 9.10.3:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
macOS-latest / ghc 9.12.2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.12.2:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
macOS-latest / ghc 9.12.2:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
macOS-latest / ghc 9.12.2:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
macOS-latest / ghc 9.12.2:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
windows-latest / ghc 9.8.4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.8.4:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 9.8.4:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
windows-latest / ghc 9.8.4:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
windows-latest / ghc 9.8.4:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
macOS-latest / ghc 9.8.4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.8.4:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
macOS-latest / ghc 9.8.4:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
macOS-latest / ghc 9.8.4:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
macOS-latest / ghc 9.8.4:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
windows-latest / ghc 9.0.1
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.0.1:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 9.10.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.10.3:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 9.10.3:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
windows-latest / ghc 9.10.3:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
windows-latest / ghc 9.10.3:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
windows-latest / ghc 9.12.2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows-latest / ghc 9.12.2:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|
|
windows-latest / ghc 9.12.2:
src/Stan/Example.hs#L40
In the use of ‘head’
|
|
windows-latest / ghc 9.12.2:
target/Target/Partial.hs#L20
In the use of ‘tail’
|
|
windows-latest / ghc 9.12.2:
target/Target/Partial.hs#L17
In the use of ‘head’
|
|
macOS-latest / ghc 9.4.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS-latest / ghc 9.4.7:
src/Stan/Pattern/Type.hs#L40
The import of ‘baseNameFrom’
|