-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Change README.md to present latest versions of GAP available
dockerPull requests that update Docker codePull requests that update Docker codegood first issueGood for newcomersGood for newcomersStatus: Open.- Status: Open.
Rename a stage called "buildfull" to "dev"
dockerPull requests that update Docker codePull requests that update Docker codeenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#102 In gap-system/docker;- Status: Open.#100 In gap-system/docker;
Packages build log should be artifacts
dockerPull requests that update Docker codePull requests that update Docker codeenhancementNew feature or requestNew feature or requestStatus: Open.#85 In gap-system/docker;Investiage differences in images size
bugSomething isn't workingSomething isn't workingStatus: Open.#83 In gap-system/docker;Unavailability of www.math.rwth-aachen.de
bugSomething isn't workingSomething isn't workingStatus: Open.#80 In gap-system/docker;Use larger-runners for builds
dockerPull requests that update Docker codePull requests that update Docker codeStatus: Open.#77 In gap-system/docker;Add native arm64 builders
dockerPull requests that update Docker codePull requests that update Docker codeStatus: Open.#76 In gap-system/docker;Remove apt-lists and remove recommends
bugSomething isn't workingSomething isn't workingStatus: Open.#71 In gap-system/docker;Build gap-system from git-repository
dockerPull requests that update Docker codePull requests that update Docker codeenhancementNew feature or requestNew feature or requestStatus: Open.#69 In gap-system/docker;Add linting for Dockerfiles and actions
github_actionsPull requests that update GitHub Actions codePull requests that update GitHub Actions codeStatus: Open.#66 In gap-system/docker;