Merge requests · Codalab / codabench

Only lookup by id if search is an int

!1216 · created Nov 07, 2023 by Placeholder Chris Harris id-lookup
- Merged
updated Nov 07, 2023
Show error in scoring std_err 7 of 7 checklist items completed

!1214 · created Nov 05, 2023 by Placeholder Ihsan Ullah
- Merged
- 1
updated Jan 18, 2024
Allow user to be looked up by id 4 of 8 checklist items completed

!1213 · created Nov 02, 2023 by Placeholder Adrien Pavão
- Closed
- 3
updated Feb 19, 2024
task manager replaced with Resources section 7 of 7 checklist items completed

!1210 · created Nov 01, 2023 by Placeholder Ihsan Ullah
- Merged
updated Nov 02, 2023
Allow user to be looked up by id 4 of 8 checklist items completed

!1206 · created Oct 31, 2023 by Placeholder Chris Harris id-lookup
- Merged
- 2
updated Nov 06, 2023
Add "build" script 3 of 8 checklist items completed

!1199 · created Oct 25, 2023 by Placeholder Chris Harris
- Closed
- 2
updated Feb 19, 2024
Increase timeout and add retries for docker pull 7 of 7 checklist items completed

!1196 · created Oct 24, 2023 by Placeholder Adrien Pavão
- Merged
- 1
updated Oct 25, 2023
numeric ordering 8 of 8 checklist items completed

!1193 · created Oct 22, 2023 by Placeholder Benjamin Bearce
- Merged
- 2
updated Oct 25, 2023
Feature/storage/monitoring tool 3 of 7 checklist items completed

!1191 · created Oct 18, 2023 by Placeholder Tristan Mary
Enhancement
- Closed
- 1
updated Nov 28, 2023
Merge develop into master

!1188 · created Oct 05, 2023 by Placeholder Adrien Pavão master
Release
- Merged
- 2
updated Dec 10, 2024
Remove score rouding in Submissions tab 4 of 7 checklist items completed

!1187 · created Oct 05, 2023 by Placeholder Adrien Pavão
- Closed
updated Oct 12, 2023
Order leaderboard only by primary column and date of creation 4 of 7 checklist items completed

!1186 · created Oct 05, 2023 by Placeholder Adrien Pavão
- Closed
- 3
updated Jul 09, 2024
Changing rabbit connection timeout 7 of 7 checklist items completed

!1181 · created Oct 04, 2023 by Placeholder github Source User
- Merged
- 2
updated Oct 05, 2023
Competition report icon added 7 of 7 checklist items completed

!1172 · created Sep 22, 2023 by Placeholder Ihsan Ullah
- Merged
- 5
updated Sep 22, 2023
First guide lines for contributors 3 of 3 checklist items completed

!1169 · created Sep 20, 2023 by Placeholder github Source User
- Merged
- 2
updated Oct 25, 2023
Update docker-compose.yml

!1168 · created Sep 20, 2023 by Placeholder github Source User
- Merged
- 1
updated Sep 20, 2023
Merge develop into master

!1166 · created Sep 19, 2023 by Placeholder Adrien Pavão master
- Merged
updated Sep 22, 2023
ghost files fix 8 of 8 checklist items completed

!1165 · created Sep 18, 2023 by Placeholder Benjamin Bearce
- Merged
- 2
updated Oct 05, 2023
Phase Dates - UI Bug removed 7 of 7 checklist items completed

!1163 · created Sep 18, 2023 by Placeholder Ihsan Ullah
- Merged
updated Sep 19, 2023
Compute worker - docker pull image + execution time limit crash 7 of 7 checklist items completed

!1161 · created Sep 17, 2023 by Placeholder Ihsan Ullah
P1
- Merged
- 8
updated Sep 21, 2023