Commit Graph

177 Commits

Author SHA1 Message Date
3f0d0ecff3 Add end-point for returning the token for evaluation triggering 2021-08-31 22:36:10 +02:00
e27de3d0c2 Use nice metric names when sending announcements 2021-08-31 21:25:19 +02:00
9f4942a657 All solutions are visible now
All the data (except for the repo URL and dev outputs) could be
inferred, anyway. So it would not make much sense to hide it.
2021-08-21 16:11:15 +02:00
9677c32cd5 Introduce NoInternalGitServer scheme
Also clean-up how to
2021-08-21 15:02:08 +02:00
e93c09c5b8 Fix formatting results in announcements 2021-08-21 11:57:39 +02:00
5f4af21006 Switch to more general announcements
Compatibility break: switch NEW_BEST_RESULT_SLACK_HOOK env
to ANNOUNCEMENT_HOOK
2021-08-21 10:26:46 +02:00
3dc9ae5dd8 Refactor towards generalization of announcements 2021-08-21 10:08:41 +02:00
8e9df1c311 Refactor toward general announcements cntd. 2021-08-21 09:49:30 +02:00
2a6515d872 Refactor towards general announcements 2021-08-21 09:45:37 +02:00
6d7587aeac view-progress-log end-point returns a self-contained HTML 2021-08-09 22:19:40 +02:00
0c5bbd63aa Add API for viewing progress logs 2021-07-30 12:19:27 +02:00
51e98bee68 Handle properly cases where there is no test 2021-07-29 17:36:18 +02:00
b8b1eefa6b Params are shown as part of a description in all end-points 2021-07-23 20:20:52 +02:00
ed06220ce0 Add AUTO_TEAM option 2021-06-29 08:48:58 +02:00
96d03875d7 Extract user's name from a JWT token 2021-06-28 18:38:15 +02:00
641b3a11ba Fix generating Gonito URLs 2021-06-16 08:52:21 +02:00
8f2cd3b77d Add challenge-repo end-point 2021-06-16 08:49:50 +02:00
ae933093dc Improve generating browsable links 2021-06-16 08:06:28 +02:00
30c7727d6a Clean up Swagger documentation, enhance properties
Breaking change: "version" property for leaderboard entry is a list of
integers now
2021-05-29 18:40:13 +02:00
387ffae20d Fix Swagger 2021-05-29 15:06:22 +02:00
be534df9a2 Improve testing Keycloak 2021-04-27 11:49:22 +02:00
09aecfb76d Introduce challenge as competitions 2021-03-22 08:19:47 +01:00
602f4c39ca Team in end-points 2021-03-03 22:02:39 +01:00
b38342fb0e Teams are shown 2021-03-03 15:50:26 +01:00
af2c789a83 A solution can be submitted as team 2021-03-03 13:15:38 +01:00
aa3831ee6b Introduce basic structures for teams 2021-03-03 09:19:34 +01:00
c176c65393 Improve diagnostics of generating output 2021-03-01 08:25:08 +01:00
d02d3a824a Whether using web socket for showing progress is configurable 2021-02-27 22:51:40 +01:00
0bc680c7ae Add experimental handling of outputs via Web Sockets 2021-02-27 18:38:38 +01:00
e185f9251b Switch to an incompatible DB scheme
Evaluation is uniquely identified by test, output checksum
and version checksum.
2021-02-27 11:48:30 +01:00
680e4a42c9 Submitting a solution does not require CSRF token
(For an end-point)
2021-02-24 07:03:36 +01:00
be96977bc3 Pre-Checking submission 2021-02-22 14:43:09 +01:00
c43d54a6be Add extra fields to leaderboard entries 2021-02-22 12:44:33 +01:00
f7d61aa256 Add challenge healing 2021-02-17 09:31:23 +01:00
fea7dabbd4 Describe submission API in Swagger 2021-02-15 21:35:09 +01:00
3a5db1cc53 Modify leaderboard end-point to be more similar to other end-points 2021-02-15 20:41:09 +01:00
9a681701e5 Add hash to leaderboard entries 2021-02-15 14:44:19 +01:00
4c7f7add98 Fix trivial mistake in Swagger documentation 2021-02-15 11:32:51 +01:00
25761dbcf6 Fix some warnings 2021-02-08 18:12:02 +01:00
07be72d0cc API for returning Challenge README 2021-02-08 18:02:09 +01:00
98325e47b6 More swagger 2021-02-05 14:44:46 +01:00
301343e3a2 Remove warnings 2021-02-05 11:31:03 +01:00
d44408c1e8 Fix weird compilation error 2021-01-27 14:46:06 +01:00
2f077d75f4 Initial version of documentation conforming to Swagger 2 2021-01-27 13:25:57 +01:00
9155f52315 Add to challenge submission to API 2021-01-17 20:37:25 +01:00
09f05a1498 Add api/challenge-{my,all}-submissions 2020-12-31 08:46:35 +01:00
476b45bef4 Add user via a JWS token 2020-12-10 23:24:10 +01:00
2009ad4504 Extract ident info from JWT tokens 2020-12-10 21:36:17 +01:00
ceef7ae5ac Handle JWT tokens 2020-12-09 21:55:31 +01:00
acedcef793 Add leaderboard JSON 2020-10-15 22:27:16 +02:00