CI: run on dev branch (replaces develop)

The develop branch was replaced by dev, so point the push/pull_request
triggers at dev instead of the now-removed develop branch.
This commit is contained in:
James Woglom
2026-07-01 00:27:19 +00:00
parent a9c9a7ebd9
commit 9619174958
+2 -2
View File
@@ -5,9 +5,9 @@ name: Python package
on:
push:
branches: [ master, develop ]
branches: [ master, dev ]
pull_request:
branches: [ master, develop ]
branches: [ master, dev ]
jobs:
build: