Skip to content

Commit 6ead255

Browse files
committed
undo revert workflow push & pull_request
1 parent 6b2d3e7 commit 6ead255

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

.github/workflows/main.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,12 @@ name: CI
22

33
on:
44
push:
5+
branches:
6+
- master
57
pull_request:
8+
types:
9+
- opened
10+
- synchronize
611

712
jobs:
813
build-nix:

0 commit comments

Comments
 (0)