Skip to content

Commit 14c04ff

Browse files
committed
changes in github workflow to improve debug
1 parent a14e36a commit 14c04ff

1 file changed

Lines changed: 13 additions & 2 deletions

File tree

‎.github/workflows/sync-mddb-database.yml‎

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,19 @@
11
name: Sync MDDB database
22

33
on:
4+
# Run this workflow every time there is a push with changes under the stated directory
45
push:
56
paths:
67
- 'src/mddb-database/**'
78
branches: [ master ]
9+
# Allow also to manually run the workflow from github for debugging purposes
10+
workflow_dispatch:
11+
inputs:
12+
debug:
13+
type: boolean
14+
description: 'Open an interactive sesion'
15+
default: true
16+
required: false
817

918
jobs:
1019
sync-to-common-repo:
@@ -21,10 +30,12 @@ jobs:
2130
git config user.name "CI Bot"
2231
git config user.email "ci@example.com"
2332
33+
- name: Open debug session
34+
uses: mxschmitt/action-tmate@v3
35+
if: ${{ github.event_name == 'workflow_dispatch' && inputs.debug }}
36+
2437
- name: Extract changes in MDDB database code
2538
id: split
26-
with:
27-
fetch-depth: 0
2839
run: |
2940
# Make sure we are in the right commit
3041
echo "Current commit: $(git rev-parse HEAD)"

0 commit comments

Comments
 (0)