Merge branch 'main' into main

2022-06-11 07:30:44 -04:00
parent 71fc664414 ed55e8ab1f
commit 818399d10f
14 changed files with 1520 additions and 1389 deletions
@@ -57,7 +57,7 @@ export async function run() {
    if (syncLabels && labelsToRemove.length) {
      await removeLabels(client, prNumber, labelsToRemove);
    }
-  } catch (error) {
+  } catch (error: any) {
    core.error(error);
    core.setFailed(error.message);
  }