Skip to content

Commit a6854c7

Browse files
committed
ci: DROP ME
1 parent c445f57 commit a6854c7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/build.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ on:
55
pull_request:
66
branches: [main, utbot-main]
77
push:
8-
branches: [main, utbot-main]
8+
branches: [main, utbot-main, misonijnik/concrete_store]
99

1010
# Defaults for building KLEE
1111
env:

0 commit comments

Comments
 (0)