Search results

Rename a stage called "buildfull" to "dev"

dockerPull requests that update Docker codePull requests that update Docker code

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#102 In gap-system/docker;

· limakzi opened on May 15, 2025

Where gap should be placed?

Status: Open.

#100 In gap-system/docker;

· limakzi opened on May 15, 2025

Packages build log should be artifacts

dockerPull requests that update Docker codePull requests that update Docker code

enhancementNew feature or requestNew feature or request

Status: Open.

#85 In gap-system/docker;

· limakzi opened on May 12, 2025

Investiage differences in images size

bugSomething isn't workingSomething isn't working

Status: Open.

#83 In gap-system/docker;

· limakzi opened on May 12, 2025

Unavailability of www.math.rwth-aachen.de

bugSomething isn't workingSomething isn't working

Status: Open.

#80 In gap-system/docker;

· limakzi opened on Apr 20, 2025

Use larger-runners for builds

dockerPull requests that update Docker codePull requests that update Docker code

Status: Open.

#77 In gap-system/docker;

· limakzi opened on Apr 19, 2025

Add native arm64 builders

dockerPull requests that update Docker codePull requests that update Docker code

Status: Open.

#76 In gap-system/docker;

· limakzi opened on Apr 19, 2025

Remove apt-lists and remove recommends

bugSomething isn't workingSomething isn't working

Status: Open.

#71 In gap-system/docker;

· limakzi opened on Apr 19, 2025

Build gap-system from git-repository

dockerPull requests that update Docker codePull requests that update Docker code

enhancementNew feature or requestNew feature or request

Status: Open.

#69 In gap-system/docker;

· limakzi opened on Apr 19, 2025

Add linting for Dockerfiles and actions

github_actionsPull requests that update GitHub Actions codePull requests that update GitHub Actions code

Status: Open.

#66 In gap-system/docker;

· limakzi opened on Apr 14, 2025

Add package description

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#63 In gap-system/docker;

· limakzi opened on Apr 14, 2025

Separate <code>gap</code> users directory and installation directory of GAP

bugSomething isn't workingSomething isn't working

dockerPull requests that update Docker codePull requests that update Docker code

good first issueGood for newcomersGood for newcomers

Status: Open.

#51 In gap-system/docker;

· limakzi opened on Apr 9, 2025