Skip to content

Commit e5bc232

Browse files
QGarcheryQGarchery
committed
fix targeting main on PR
1 parent d23e31e commit e5bc232

1 file changed

Lines changed: 0 additions & 2 deletions

File tree

‎.github/workflows/certora.yml‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ on:
55
branches:
66
- main
77
pull_request:
8-
branches:
9-
- main
108
workflow_dispatch:
119

1210
jobs:

0 commit comments

Comments
 (0)