Add -Wno-x-partial to build with ghc-9.8.1 #210
facundominguez
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
6 errors and 6 warnings
|
ghc-8.10.7 z3-4.10.2:
src/Language/Fixpoint/Graph/Reducible.hs#L3
unrecognised warning flag: -Wno-x-partial
|
|
ghc-8.10.7 z3-4.10.2:
src/Language/Fixpoint/Horn/Transformations.hs#L8
unrecognised warning flag: -Wno-x-partial
|
|
ghc-8.10.7 z3-4.10.2:
src/Language/Fixpoint/Solver/EnvironmentReduction.hs#L9
unrecognised warning flag: -Wno-x-partial
|
|
ghc-8.10.7 z3-4.10.2:
src/Language/Fixpoint/Solver/Solution.hs#L7
unrecognised warning flag: -Wno-x-partial
|
|
ghc-8.10.7 z3-4.10.2:
src/Language/Fixpoint/Utils/Statistics.hs#L3
unrecognised warning flag: -Wno-x-partial
|
|
ghc-8.10.7 z3-4.10.2
Process completed with exit code 1.
|
|
ghc-8.10.7 z3-4.10.2
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, haskell/actions/setup@v1, actions/cache@v2, pavpanchekha/setup-z3@6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ghc-8.10.7 z3-4.10.2
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/
|
|
ghc-8.10.7 z3-4.10.2
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/
|
|
ghc-8.10.7 z3-4.10.2
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/
|
|
ghc-8.10.7 z3-4.10.2
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/
|
|
ghc-8.10.7 z3-4.10.2
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/
|