Skip to content
Snippets Groups Projects

Suggestion to make comp_simplify rule easier to understand

Closed Suggestion to make comp_simplify rule easier to understand
comp_simplify into master
Closed Lachnitt requested to merge comp_simplify into master

If the i+1 is making it to hard to read I can rename it to something else. Although I like the idea of going from t1 to tn.

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Lachnitt requested review from @hjsc and @hbarbosa

    requested review from @hjsc and @hbarbosa

  • Lachnitt
    Lachnitt @Lachnitt ·
    Author Maintainer

    I am getting build issues on this... I don't think they are the fault of this PR though?

    This is the error message:

    WARNING: Failed to pull image with policy "always": open /data/docker/tmp/GetImageBlob433199375: no space left on device (manager.go:250:2s)
ERROR: Job failed: failed to pull image "kjarosh/latex:2023.1" with specified policies [always]: open /data/docker/tmp/GetImageBlob433199375: no space left on device (manager.go:250:2s)
    Edited by Lachnitt
  • Hans-Jörg
    Hans-Jörg @hjsc ·
    Maintainer

    I saw that build issue in the past. It seems to be spurious and go away after a while. I suspect it's related to the build runner they use at Uliege.

  • Hans-Jörg
    Hans-Jörg @hjsc ·
    Maintainer

    Here is my attempt to change this and to go a bit further with the clarifications: !13 (merged) what do you think?

  • Hans-Jörg
    Hans-Jörg @hjsc ·
    Maintainer

    I took the liberty to merge my own merge request, I think it implements what you suggested + a bit more.

  • Hans-Jörg closed

    closed

Please register or sign in to reply