Merge pull request #602 from Nadrieril/merge-queue

Only reload jobs on non-draft PRs

Author: Nadrieril

flake.lock

@@ -2,6 +2,7 @@
   description = "Charon";
 
   inputs = {
+    flake-compat.url = "github:edolstra/flake-compat"; # For ./shell.nix
     flake-utils.url = "github:numtide/flake-utils";
     nixpkgs.url = "nixpkgs/nixos-unstable";
     # This makes it possible for downstream flakes to use a different nixpkgs
@@ -17,7 +18,7 @@
     crane.url = "github:ipetkov/crane";
   };
 
-  outputs = { self, flake-utils, nixpkgs, nixpkgs-ocaml, rust-overlay, crane }:
+  outputs = { self, flake-utils, nixpkgs, nixpkgs-ocaml, rust-overlay, crane, ... }:
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs {

flake.nix

@@ -1,6 +1,10 @@
 #!/usr/bin/env bash
 # Lists the workflow runs associated with open PRs and re-runs them all
 gh pr list --base main --json isDraft,statusCheckRollup \
-    | jq -r '.[].statusCheckRollup[].detailsUrl | capture("https://github.com/AeneasVerif/charon/actions/runs/(?<run_id>[0-9]+)/job/[0-9]+") | .run_id' \
+    | jq -r '.[]
+        | select(.isDraft | not)
+        | .statusCheckRollup[].detailsUrl
+        | capture("https://github.com/AeneasVerif/charon/actions/runs/(?<run_id>[0-9]+)/job/[0-9]+")
+        | .run_id' \
     | sort | uniq \
     | while read run; do gh run rerun "$run"; done