Skip to content

Commit b2b8676

Browse files
committed
Run VSharp building on pull request and push.
1 parent 6b59816 commit b2b8676

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/build_vsharp.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: 'Build VSharp'
22

33
on:
4-
workflow_call
4+
[workflow_call, pull_request, push]
55

66
jobs:
77
build:

0 commit comments

Comments
 (0)