Skip to content
GitLab
Explore
Sign in
Open
1
Merged
10
Closed
0
All
11
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Add the EPFL themed login form
!309
· created
Dec 28, 2024
by
Hamza Remmal
1.3.0
Merged
2
updated
Jan 24, 2025
fix: update the endpoint to ping the service
!310
· created
Jan 14, 2025
by
Hamza Remmal
1.3.0
Merged
updated
Jan 14, 2025
Polish the testing for '/api/v1/ping'
!308
· created
Dec 27, 2024
by
Hamza Remmal
1.3.0
Merged
updated
Dec 27, 2024
chore: Add display name for AssignRequestIdFilterIntegrationTests
!307
· created
Dec 26, 2024
by
Hamza Remmal
1.3.0
Merged
updated
Dec 26, 2024
Unify ping endpoints and have a single one
!304
· created
Dec 25, 2024
by
Hamza Remmal
1.3.0
area:api
Merged
1
updated
Dec 26, 2024
Add favicons
!303
· created
Dec 25, 2024
by
Hamza Remmal
1.3.0
system:autograde-service
Merged
updated
Dec 26, 2024
chore: bump spring boot to 3.3.4
!306
· created
Dec 26, 2024
by
Hamza Remmal
1.3.0
system:autograde-service
Merged
updated
Dec 26, 2024
chore: unify the generation of the request id + return it in the response
!305
· created
Dec 25, 2024
by
Hamza Remmal
1.3.0
area:api
Merged
1
updated
Dec 26, 2024
Download All Submissions
!276
· created
Nov 16, 2024
by
El Hassan Jamaly
1.3.0
prio:high
Merged
1
Approved
updated
Dec 26, 2024
fix: fix typo in the actuator configuration
!294
· created
Dec 10, 2024
by
Hamza Remmal
1.3.0
Merged
1
Approved
updated
Dec 12, 2024