Skip to content
build

throw a warning and an error code on counterstrategy gen #195

Sign in to view logs

throw a warning and an error code on counterstrategy gen

throw a warning and an error code on counterstrategy gen #195

Triggered via push August 7, 2024 08:46
@santolucitosantolucito
pushed a5f3691
master
Status Success
Total duration 5m 6s
Artifacts –

action.yml

on: push
ormolu
6s
ormolu
TSL test suite
4m 45s
TSL test suite
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
ormolu
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, haskell-actions/run-ormolu@v11. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
TSL test suite: src/TSL/LTL.hs#L4
The import of ‘Control.Exception’ is redundant
TSL test suite: src/TSL/LTL.hs#L17
Defined but not used: ‘stderr’