An error occurred while fetching folder content.
Select Git revision
- Branches 20
- setup-libs
- hr/grade-in-api
- hj/submissionListingEdit
- master default protected
- hj/downloadButtonUi
- mb/tunnel-sudo
- hr/index-page
- submissions-dashboard
- hr/authorization-tests
- hr/helm
- 1.2.x protected
- hr/restrict-ldap-access
- otter_grader
- hr/favicon
- hr/enable-epfl-ldap
- hr/full-auth-mechanism
- hr/better-security
- 1.0.x protected
- mb/net_admin
- hj/testingGuideline
- Tags 15
- 1.2.4
- 1.2.3
- 1.0.4
- 1.0.1
- 1.0.2
- 1.2.2
- 1.2.1
- 1.2.0
- 1.1.0
- release/1.0.1-RC3 protected
- release/1.0.1-RC2 protected
- release/1.0.0 protected
- release/1.0.0-RC1 protected
- 0.1-staging-2 protected
- 0.1-staging-1 protected
-
-
- Open in your IDE
- Download source code
Hamza Remmal
authored
chore: add local registry as a service See merge request !322
| Name | Last commit | Last update |
|---|---|---|