diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2021-07-02 17:52:12 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2021-07-05 11:52:03 +0200 |
| commit | 6752b6d50faab447b3edc13bddf14f53401392f1 (patch) | |
| tree | 953ed9998107f46d5892addc7266e39b3484fdfa /.github | |
| parent | fa7ffd9d1594a5bc9dba4fc65af0a4100988341b (diff) | |
runner: Use public API for scheduling simulation jobs
This change updates the web runner to not require direct database access
for scheduling simulation jobs. Instead, the runner polls the public
REST API for available jobs and reports its results through there.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions