https://github.com/homalg-project/homalg_project
Revision 86a8d20f2b96d09e406dd370dab556f7c68cb2a1 authored by Fabian Zickgraf on 22 December 2022, 10:15:08 UTC, committed by Fabian Zickgraf on 22 December 2022, 10:19:59 UTC
1 parent db1a901
Raw File
Tip revision: 86a8d20f2b96d09e406dd370dab556f7c68cb2a1 authored by Fabian Zickgraf on 22 December 2022, 10:15:08 UTC
Revert "Turn UnderlyingObject into an attribute"
Tip revision: 86a8d20
.codecov.yml
codecov:
  disable_default_path_fixes: true
  require_ci_to_pass: false
comment:
  after_n_builds: 15
flags:
  homalg:
    paths:
      - "homalg/"
  4ti2Interface:
    paths:
      - "4ti2Interface/"
  ExamplesForHomalg:
    paths:
      - "ExamplesForHomalg/"
  Gauss:
    paths:
      - "Gauss/"
  GaussForHomalg:
    paths:
      - "GaussForHomalg/"
  GradedModules:
    paths:
      - "GradedModules/"
  GradedRingForHomalg:
    paths:
      - "GradedRingForHomalg/"
  HomalgToCAS:
    paths:
      - "HomalgToCAS/"
  IO_ForHomalg:
    paths:
      - "IO_ForHomalg/"
  LocalizeRingForHomalg:
    paths:
      - "LocalizeRingForHomalg/"
  MatricesForHomalg:
    paths:
      - "MatricesForHomalg/"
  Modules:
    paths:
      - "Modules/"
  RingsForHomalg:
    paths:
      - "RingsForHomalg/"
  SCO:
    paths:
      - "SCO/"
  ToolsForHomalg:
    paths:
      - "ToolsForHomalg/"
back to top