Skip to content

580 lets add oneline option to the rewrite command #1042

580 lets add oneline option to the rewrite command

580 lets add oneline option to the rewrite command #1042

Triggered via pull request November 29, 2024 14:20
Status Success
Total duration 16m 42s
Artifacts 3

ghc.yml

on: pull_request
Run static checks
15s
Run static checks
Matrix: Run pipeline
Matrix: Run tests
Build and upload site (master)
0s
Build and upload site (master)
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run static checks: eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L111
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex x) <> \" is the scope of the redex\"" ▫︎ Perhaps: "inMathMode (toLatex x) <> \" is the scope of the redex\""

Artifacts

Produced during runtime
Name Size
pipeline-files-Linux
2.87 MB
pipeline-files-Windows
369 KB
pipeline-files-macOS
368 KB