From 729a1983372ed23ec0ceeeb1acdadc6e6989b37a Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Mon, 7 Feb 2022 18:03:08 +0100
Subject: server: proper job handling

Note: the server will not check submissions for duplicates!
(nor does it do any kind of rate-limiting)
---
 package.yaml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'package.yaml')

diff --git a/package.yaml b/package.yaml
index 84e1e96..7208cd9 100644
--- a/package.yaml
+++ b/package.yaml
@@ -71,3 +71,5 @@ executables:
       - walint
       - uuid
       - containers
+      - microlens
+      - microlens-th
-- 
cgit v1.2.3