Skip to content
Snippets Groups Projects
Select Git revision
  • 740d75e6843e54023c91fa67360b928da4f4f27f
  • master default
  • dev_general
  • 0.1.5
  • 0.1.4
  • 0.1.3
  • 0.1.2
  • 0.1.1
8 results

hhu

  • Open with
  • Download source code
  • Download directory
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Implemented check for multigraphs and warning
    Philipp Spohr authored 
    Various small layout optimizations/fixes
Added killswitches for result processing tasks
Backend optimization
    740d75e6
    History
    user avatar 740d75e6
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..