Assign unique type ids to each type #3442
glguycrux-llvm-build.yml
on: pull_request
config
7s
Matrix: build-push-image
Matrix: build
Annotations
57 warnings
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
config
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
crux-llvm - GHC v9.10.1 - windows-2022
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - windows-2022
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
Defined but not used: ‘neither’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
Defined but not used: data constructor ‘SymIOTestData’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
Defined but not used: type constructor or class ‘SymIOTestData’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
• An occurrence of ‘W4.BaseType’ in a kind requires DataKinds.
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
• An occurrence of ‘W4.BaseType’ in a kind requires DataKinds.
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
In the use of ‘head’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-24.04
The import of ‘foldl'’ from module ‘Data.List’ is redundant
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
Defined but not used: ‘neither’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
Defined but not used: data constructor ‘SymIOTestData’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
Defined but not used: type constructor or class ‘SymIOTestData’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
• An occurrence of ‘W4.BaseType’ in a kind requires DataKinds.
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
• An occurrence of ‘W4.BaseType’ in a kind requires DataKinds.
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
In the use of ‘head’
|
|
crux-llvm - GHC v9.10.1 - ubuntu-22.04
The import of ‘foldl'’ from module ‘Data.List’ is redundant
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
Defined but not used: ‘neither’
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
Defined but not used: data constructor ‘SymIOTestData’
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
Defined but not used: type constructor or class ‘SymIOTestData’
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
Type applications in constructor patterns will require
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
Module ‘Prelude’ does not export ‘foldl'’.
|
|
crux-llvm - GHC v9.8.4 - ubuntu-24.04
In the use of ‘head’
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
Defined but not used: ‘neither’
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
Defined but not used: data constructor ‘SymIOTestData’
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
Defined but not used: type constructor or class ‘SymIOTestData’
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.6.7 - ubuntu-24.04
Module ‘Prelude’ does not export ‘foldl'’
|
|
crux-llvm - GHC v9.10.1 - macos-14
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - macos-14
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - macos-14
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
|
crux-llvm - GHC v9.10.1 - macos-14
This binding for ‘s'’ shadows the existing binding
|
|
crux-llvm - GHC v9.10.1 - macos-14
• An occurrence of ‘W4.BaseType’ in a kind requires DataKinds.
|
|
crux-llvm - GHC v9.10.1 - macos-14
• An occurrence of ‘W4.BaseType’ in a kind requires DataKinds.
|
|
crux-llvm - GHC v9.10.1 - macos-14
In the use of ‘head’
|
|
crux-llvm - GHC v9.10.1 - macos-14
The import of ‘foldl'’ from module ‘Data.List’ is redundant
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
crux-llvm-macos-14-ARM64-9.10.1
|
48.9 MB |
sha256:30814d5ae3086038e2101d116a3ae674c080eebb0a7aa2e7520b34d4ca7ec20e
|
|
|
crux-llvm-ubuntu-22.04-X64-9.10.1
|
35.2 MB |
sha256:a54a288f609d1214dbc3a865e8df04a5d99698596fb973b68c1c6e54d1eab6eb
|
|
|
crux-llvm-ubuntu-24.04-X64-9.10.1
|
35.1 MB |
sha256:fde359ac39fbbb5fd76e3c8c93de5b4a90c26331dc9aa63d67308e9d450eca02
|
|
|
crux-llvm-ubuntu-24.04-X64-9.6.7
|
34.9 MB |
sha256:25e6c44908f4fb318ce14037a9b9110cd93d863e8674d23242e52d43b7c6d22d
|
|
|
crux-llvm-ubuntu-24.04-X64-9.8.4
|
34.9 MB |
sha256:527574155fd4bd93528568cd5deea8e27a0f564d268c2fd549645011ffa6ff0c
|
|
|
crux-llvm-windows-2022-X64-9.10.1
|
32.9 MB |
sha256:040eb87a08a12a7f852070359d5c2fb857c6350f3777f6648136fd0d165e5819
|
|