From 1224b60e49e6d3253bfb6852bcb41450d967005b Mon Sep 17 00:00:00 2001 From: Volker Mische Date: Tue, 3 Sep 2024 12:34:02 +0200 Subject: [PATCH] chore: enable workflow temporarily on push So that we have at least one successful run. --- .github/workflows/proof-params-generate.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proof-params-generate.yml b/.github/workflows/proof-params-generate.yml index 775dc0478..3509f10e0 100644 --- a/.github/workflows/proof-params-generate.yml +++ b/.github/workflows/proof-params-generate.yml @@ -1,7 +1,7 @@ name: Proof params generate on: - pull_request: + push: # Make it also possible to trigger it manually. workflow_dispatch: schedule: