|
server
|
Implement more /admin/queue/* endpoints
|
2023-08-14 12:23:22 +02:00 |
|
worker
|
Use / as separator character instead of .
|
2023-08-13 23:02:18 +02:00 |
|
args.rs
|
Rename runners to workers
|
2023-08-11 02:12:38 +02:00 |
|
config.rs
|
Ensure web_base does not end in /
|
2023-08-13 19:57:28 +02:00 |
|
id.rs
|
Start runs and coordinate with server
|
2023-08-12 02:16:05 +02:00 |
|
main.rs
|
Launch idle thread for each server
|
2023-08-12 21:23:36 +02:00 |
|
server.rs
|
Use typed paths in worker
|
2023-08-13 16:13:59 +02:00 |
|
shared.rs
|
Fix and add documentation
|
2023-08-13 01:16:12 +02:00 |
|
somehow.rs
|
Store more commit info in db
|
2023-08-06 10:47:45 +02:00 |
|
worker.rs
|
Perform runs with internal bench logic
|
2023-08-12 21:40:14 +02:00 |
