Skip to content
Haskell CI

Merge pull request #403 from smucclaw/20230719-fix-aasvg-breach-bug #776

Sign in to view logs

Merge pull request #403 from smucclaw/20230719-fix-aasvg-breach-bug

Merge pull request #403 from smucclaw/20230719-fix-aasvg-breach-bug #776

Triggered via push July 19, 2023 16:49
@mengwongmengwong
pushed 131a29a
main
Status Success
Total duration 14m 0s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

63 warnings
build (ubuntu-latest): lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80
• Fields of ‘Opts’ not initialised:
build (ubuntu-latest): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (ubuntu-latest): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-12): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-12): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-12): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-12): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-12): lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80
• Fields of ‘Opts’ not initialised:
build (macos-11): lib/haskell/natural4/test/LS/XPile/CoreL4/LogicProgramSpec.hs#L80
• Fields of ‘Opts’ not initialised:
build (macos-11): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’
build (macos-11): lib/haskell/explainable/src/Explainable.hs#L1
The export item ‘module Explainable’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L1
The export item ‘module Explainable.MathLang’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L192
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L278
Defined but not used: ‘rhs’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘val’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘xpl’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘stab’
build (macos-11): lib/haskell/explainable/src/Explainable/MathLang.hs#L396
Defined but not used: ‘wlog’
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L1
The export item ‘module Explainable.TaxDSL’ is missing an export list
build (macos-11): lib/haskell/explainable/src/Explainable/TaxDSL.hs#L574
Defined but not used: ‘passes’