Skip to content

spelling

spelling #30

Triggered via push June 17, 2024 09:40
Status Success
Total duration 6m 32s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3, haskell/actions/setup@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build: src/Test/IOTasks/Var.hs#L83
In the use of ‘head’
build: src/Test/IOTasks/Var.hs#L87
In the use of ‘tail’
build: src/Test/IOTasks/Internal/Term.hs#L23
The import of ‘Control.Applicative’ is redundant
build: src/Test/IOTasks/Internal/Term.hs#L183
In the use of ‘head’
build: src/Test/IOTasks/Internal/Term.hs#L316
In the use of ‘head’
build: src/Test/IOTasks/Internal/Term.hs#L333
In the use of ‘tail’
build: src/Test/IOTasks/Trace.hs#L254
In the use of ‘head’
build: src/Test/IOTasks/Z3.hs#L435
In the use of ‘head’
build: examples/BasicExamplesSpec.hs#L1
The export item ‘module BasicExamplesSpec’ is missing an export list
build: examples/BlowupSpec.hs#L1
The export item ‘module BlowupSpec’ is missing an export list