From 511ac0adfb707f591b88ade9af5dbc5225046652 Mon Sep 17 00:00:00 2001 From: Pierre Alain Date: Tue, 18 Mar 2025 09:10:17 +0100 Subject: [PATCH] trigger format on push rather than pull_request --- .github/workflows/format.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml index 7e2d227..7970630 100644 --- a/.github/workflows/format.yml +++ b/.github/workflows/format.yml @@ -1,6 +1,6 @@ name: ocamlformat -on: [pull_request] +on: [push] jobs: format: