|
server
|
Track and untrack refs
|
2023-08-18 01:03:14 +02:00 |
|
worker
|
Fix runner counting files as directories
|
2023-08-17 19:37:30 +02:00 |
|
args.rs
|
Rename runners to workers
|
2023-08-11 02:12:38 +02:00 |
|
config.rs
|
Track only branches by default
|
2023-08-18 01:03:22 +02:00 |
|
id.rs
|
Start runs and coordinate with server
|
2023-08-12 02:16:05 +02:00 |
|
main.rs
|
Remove resolved todos
|
2023-08-17 19:47:34 +02:00 |
|
server.rs
|
Add admin button to update repo
|
2023-08-17 18:20:37 +02:00 |
|
shared.rs
|
Add todos
|
2023-08-15 01:28:25 +02:00 |
|
somehow.rs
|
Store more commit info in db
|
2023-08-06 10:47:45 +02:00 |
|
worker.rs
|
Mention server in worker log messages
|
2023-08-17 17:30:48 +02:00 |
