Revert "remove benchmark action, will add in separate PR"

This reverts commit e7a505b.

flake.nix

@@ -57,7 +57,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
     tullia = {
-      url = "github:input-output-hk/tullia";
+      url = "github:input-output-hk/tullia/gh-comment";
       inputs.nixpkgs.follows = "nixpkgs";
     };
   };

nix/cells/cloud/actions.nix

@@ -1,7 +1,7 @@
 { cell
 , inputs
 }: {
-  "plutus/ci" = {
+  /* "plutus/ci" = {
     task = "ci";
     io = ''
       // This is a CUE expression that defines what events trigger a new run of this action.
@@ -18,9 +18,23 @@
         { #lib.io.github_pr, github, #target_default: false },
       ]
     '';
+  };*/
+
+  "plutus/benchmark" = {
+    task = "benchmark";
+    io = ''
+      // Two inputs need to match: PR sync event & issue comment creation event
+      #lib.io.github_pr_comment & {
+        #target: "zeme-iohk/benchmarking"
+        #input: "${cell.library.actions.benchmark.commentInput}"
+        #prInput: "${cell.library.actions.benchmark.prInput}"
+        #repo: "input-output-hk/plutus"
+        #comment: "^/benchmark .+"
+      }
+    '';
   };
 
-  "plutus/publish-documents" = {
+  /*"plutus/publish-documents" = {
     task = "publish-documents";
     io = ''
       let push = {
@@ -40,5 +54,6 @@
         }
       }
     '';
-  };
+  };*/
+
 }

nix/cells/cloud/library.nix

@@ -3,6 +3,8 @@
 }: {
   actions = {
     ci.input = "GitHub event";
+    benchmark.commentInput = "GitHub comment";
+    benchmark.prInput = "GitHub pr";
     documents.input = "GitHub push";
   };
 }