Skip to content
This repository is currently being migrated. It's locked while the migration is in progress.

Commit 991258d

Browse files
[Fix] update push config
1 parent 9ba6b9e commit 991258d

File tree

1 file changed

+3
-6
lines changed

1 file changed

+3
-6
lines changed

.github/workflows/push.yml

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,9 @@ name: build
22

33
on:
44
pull_request:
5-
types: [ opened, synchronize ]
5+
types: [opened, synchronize]
66
merge_group:
7-
types: [ checks_requested ]
8-
push:
9-
branches:
10-
- main
7+
types: [checks_requested]
118

129
jobs:
1310
tests-ubuntu:
@@ -41,4 +38,4 @@ jobs:
4138
run: make dev fmt
4239

4340
- name: Fail on differences
44-
run: git diff --exit-code
41+
run: git diff --exit-code

0 commit comments

Comments
 (0)