Skip to content

Commit

Permalink
[ci]
Browse files Browse the repository at this point in the history
  • Loading branch information
@misonijnik
misonijnik committed Feb 27, 2024
1 parent 8c259a8 commit 72b27a6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@ name: CI

on:
pull_request:
branches: [main, utbot-main]
branches: [main, utbot-main, ci]
push:
branches: [main, utbot-main]
branches: [main, utbot-main, ci]

# Defaults for building KLEE
env:
Expand Down

0 comments on commit 72b27a6

Please sign in to comment.