run workflows on dev

cryspen · Jul 12, 2023 · ad40e53 · ad40e53
1 parent b898bea
commit ad40e53
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
     paths-ignore:
       - .gitignore
       - CLA.md

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
     paths-ignore:
       - .gitignore
       - CLA.md

diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
     paths-ignore:
       - .gitignore
       - CLA.md

diff --git a/.github/workflows/js.yml b/.github/workflows/js.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
       - 'hacl-star-**'
   pull_request:
   workflow_dispatch:

diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
       - 'hacl-star-**'
     paths-ignore:
       - .gitignore

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
       - 'hacl-star-**'
     paths-ignore:
       - .gitignore

diff --git a/.github/workflows/sanitizer_builds.yml b/.github/workflows/sanitizer_builds.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - dev
   pull_request:
     paths-ignore:
       - .gitignore