Skip to content

Merge pull request #589 from objectionary/582-skip-the-space-inside-e… #1050

Merge pull request #589 from objectionary/582-skip-the-space-inside-e…

Merge pull request #589 from objectionary/582-skip-the-space-inside-e… #1050

Triggered via push November 29, 2024 14:59
Status Success
Total duration 17m 45s
Artifacts 3

ghc.yml

on: push
Run static checks
13s
Run static checks
Matrix: Run pipeline
Matrix: Run tests
Build and upload site (master)
1m 45s
Build and upload site (master)
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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\""
Run pipeline (macos-latest)
Cache save failed.
Run pipeline (ubuntu-latest)
Cache save failed.
Run pipeline (windows-latest)
Cache save failed.

Artifacts

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