.github: change branch targets to dev

mmcloughlin · Oct 5, 2024 · cea4e6a · cea4e6a
1 parent 9796e56
commit cea4e6a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml
@@ -2,7 +2,7 @@ name: Build with opam
 
 on:
   push:
-    branches: [ partial_eval ]
+    branches: [ dev ]
     paths: [ '*.opam', '.github/workflows/opam.yml' ]
   pull_request:
     paths: [ '*.opam', '.github/workflows/opam.yml' ]
@@ -25,4 +25,3 @@ jobs:
     - run: opam install dune
     - run: opam install . --deps-only --with-test
     - run: opam exec -- dune build --profile release
-
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -3,7 +3,7 @@ name: Test partial eval
 on:
   push:
     branches:
-      - partial_eval 
+      - dev
   pull_request:
     types: []
   workflow_dispatch: