Add more options when updating build priorities

Computing new derived priorities is slow, so these options allow skipping that
if you know what you're doing. For example, if you're updating a batch of
related builds and you want them all to have the same priorities and derived
priorities, you can now do that much quicker.

1 files changed, 10 insertions, 4 deletions

diff --git a/guix-build-coordinator/coordinator.scm b/guix-build-coordinator/coordinator.scm
index 906f6ee..916ed92 100644
--- a/guix-build-coordinator/coordinator.scm
+++ b/guix-build-coordinator/coordinator.scm
@@ -850,7 +850,9 @@
             (perform-operation)))
       (perform-operation)))
 
-(define (update-build-priority build-coordinator uuid new-priority)
+(define* (update-build-priority build-coordinator uuid new-priority
+                                #:key skip-updating-derived-priorities?
+                                override-derived-priority)
   (define datastore (build-coordinator-datastore build-coordinator))
 
   (datastore-call-with-transaction
@@ -865,9 +867,13 @@
          (raise-exception
           (make-client-error 'build-already-processed))))
 
-     (datastore-update-build-priority datastore
-                                      uuid
-                                      new-priority)))
+     (datastore-update-build-priority
+      datastore
+      uuid
+      new-priority
+      #:skip-updating-derived-priorities?
+      skip-updating-derived-priorities?
+      #:override-derived-priority override-derived-priority)))
 
   (trigger-build-allocation build-coordinator)