checkout development

This commit is contained in:
David Refoua 2023-04-23 23:43:26 +03:30 committed by GitHub
parent d80202c791
commit d838f861af
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,6 +20,8 @@ jobs:
steps:
# Checks-out the repository under $GITHUB_WORKSPACE, so the job can access it
- uses: actions/checkout@v3
with:
ref: development
# Runs a single command using the runners shell
- name: Merge master into development