Rename 'devel' in 'develop'...

aff3ct · May 28, 2024 · 5ecb57f · 5ecb57f
1 parent 2e09fe2
commit 5ecb57f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -206,7 +206,7 @@ jobs:
           # coverage summary in the PR comment.
           coverage-summary-title: "Code Coverage Summary"
   deploy:
-    if: contains( github.ref, 'devel')
+    if: contains( github.ref, 'develop')
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -224,4 +224,4 @@ pages:
       - public
     expire_in: 30 days
   only:
-    - devel
+    - develop
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 # StreamPU
 
-[![GitLab Pipeline Status](https://img.shields.io/gitlab/pipeline-status/aff3ct/streampu.svg?branch=devel)](https://gitlab.com/aff3ct/streampu/pipelines)
-[![GitLab Code Coverage](https://img.shields.io/gitlab/pipeline-coverage/aff3ct/streampu?branch=devel)](https://aff3ct.gitlab.io/streampu/)
+[![GitLab Pipeline Status](https://img.shields.io/gitlab/pipeline-status/aff3ct/streampu.svg?branch=develop)](https://gitlab.com/aff3ct/streampu/pipelines)
+[![GitLab Code Coverage](https://img.shields.io/gitlab/pipeline-coverage/aff3ct/streampu?branch=develop)](https://aff3ct.gitlab.io/streampu/)
 [![Documentation](https://img.shields.io/badge/doc-passing-green)](https://aff3ct.github.io/streampu/)
 [![License: MIT](https://img.shields.io/github/license/aff3ct/streampu.svg)](./LICENSE)
-Original file line number
+Diff line change
@@ Expand Up / @@ -224,4 +224,4 @@ pages: @@
           - public
         expire_in: 30 days
       only:
-        - devel
+        - develop