Skip to content

Merge pull request #586 from objectionary/574-pretty-printing-is-a-bi… #1041

Merge pull request #586 from objectionary/574-pretty-printing-is-a-bi…

Merge pull request #586 from objectionary/574-pretty-printing-is-a-bi… #1041

Triggered via push November 29, 2024 13:20
Status Success
Total duration 24m 13s
Artifacts 3

ghc.yml

on: push
Run static checks
12s
Run static checks
Matrix: Run pipeline
Matrix: Run tests
Build and upload site (master)
1m 31s
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 (ubuntu-latest)
Cache save failed.
Run pipeline (macos-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