From 97e5e253e7461bd4e7a5eaa83846753d0d4e0e52 Mon Sep 17 00:00:00 2001 From: Santiago Palladino Date: Wed, 28 Aug 2024 11:49:55 -0300 Subject: [PATCH] chore: Run CI after merges to provernet (#8244) Given provernet is diverging from master, it'd be nice to have the CI catch any bad cherry picks. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 580b46338be..f4117a34390 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,7 +1,7 @@ name: CI on: push: - branches: [master] + branches: [master, provernet] pull_request: branches-ignore: [devnet] workflow_dispatch: