CI: bump to GHC 9.6.5; fix to macos-13 for GHC < 9.2 #405
andreasabelAnnotations
44 warnings
|
ubuntu-latest / ghc 9.6.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 9.8.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘head’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.8.2
In the use of ‘tail’
|
|
macOS-latest / ghc 9.2.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.4.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-latest / ghc 9.6.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-latest / ghc 9.8.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-latest / ghc 9.8.2
In the use of ‘tail’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘tail’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘head’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘head’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘tail’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘head’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘head’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘tail’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘tail’
|
|
macOS-latest / ghc 9.8.2
In the use of ‘tail’
|
|
ubuntu-latest / ghc 9.6.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 9.2.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.2.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 9.4.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-latest / ghc 9.4.8
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.6.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.8.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.0.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.0.2
Pattern match(es) are non-exhaustive
|
|
ubuntu-latest / ghc 8.0.2
Pattern match(es) are non-exhaustive
|
|
macOS-13 / ghc 8.4.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 9.0.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ubuntu-latest / ghc 8.10.7
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
windows-latest / ghc 8.4.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-13 / ghc 8.8.4
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-13 / ghc 9.0.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-13 / ghc 8.10.7
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
macOS-13 / ghc 8.6.5
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|