File tree Expand file tree Collapse file tree 4 files changed +42
-42
lines changed Expand file tree Collapse file tree 4 files changed +42
-42
lines changed Original file line number Diff line number Diff line change 11name : array-merge-gtest
22
3- on : push
4- paths :
5- - ' array_merge/** '
6- # We probably want to re-run the checks if the definition of
7- # `mergesort` changes since this depends on that.
8- - ' mergesort/mergesort.[ch] '
9-
10- # This lets us manually trigger this action
11- # through the GitHub web interface. See
12- # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
13- # for more details.
14- on : workflow_dispatch
3+ on :
4+ push :
5+ paths :
6+ - ' array_merge/** '
7+ # We probably want to re-run the checks if the definition of
8+ # ` mergesort` changes since this depends on that.
9+ - ' mergesort/mergesort.[ch] '
10+ # This lets us manually trigger this action
11+ # through the GitHub web interface. See
12+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
13+ # for more details.
14+ workflow_dispatch :
1515
1616jobs :
1717 build :
Original file line number Diff line number Diff line change 11name : array-merge-test-valgrind
22
3- on : push
4- paths :
5- - ' array_merge/** '
6- # We probably want to re-run the checks if the definition of
7- # `mergesort` changes since this depends on that.
8- - ' mergesort/mergesort.[ch] '
9-
10- # This lets us manually trigger this action
11- # through the GitHub web interface. See
12- # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
13- # for more details.
14- on : workflow_dispatch
3+ on :
4+ push :
5+ paths :
6+ - ' array_merge/** '
7+ # We probably want to re-run the checks if the definition of
8+ # ` mergesort` changes since this depends on that.
9+ - ' mergesort/mergesort.[ch] '
10+ # This lets us manually trigger this action
11+ # through the GitHub web interface. See
12+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
13+ # for more details.
14+ workflow_dispatch :
1515
1616jobs :
1717 build :
Original file line number Diff line number Diff line change 11name : mergesort-gtest
22
3- on : push
4- paths :
5- - ' mergesort/** '
6-
7- # This lets us manually trigger this action
8- # through the GitHub web interface. See
9- # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
10- # for more details.
11- on : workflow_dispatch
3+ on :
4+ push :
5+ paths :
6+ - ' mergesort/** '
7+ # This lets us manually trigger this action
8+ # through the GitHub web interface. See
9+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
10+ # for more details.
11+ workflow_dispatch :
1212
1313jobs :
1414 build :
Original file line number Diff line number Diff line change 11name : mergesort-test-valgrind
22
3- on : push
4- paths :
5- - ' mergesort/** '
6-
7- # This lets us manually trigger this action
8- # through the GitHub web interface. See
9- # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
10- # for more details.
11- on : workflow_dispatch
3+ on :
4+ push :
5+ paths :
6+ - ' mergesort/** '
7+ # This lets us manually trigger this action
8+ # through the GitHub web interface. See
9+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
10+ # for more details.
11+ workflow_dispatch :
1212
1313jobs :
1414 build :
You can’t perform that action at this time.
0 commit comments