File tree Expand file tree Collapse file tree 4 files changed +42
-12
lines changed Expand file tree Collapse file tree 4 files changed +42
-12
lines changed Original file line number Diff line number Diff line change 11name : array-merge-gtest
22
3- on : [push, pull_request]
4- # paths:
5- # - 'array_merge/**'
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
615
716jobs :
817 build :
Original file line number Diff line number Diff line change 11name : array-merge-test-valgrind
22
3- on : [push, pull_request]
4- # paths:
5- # - 'array_merge/**'
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
615
716jobs :
817 build :
Original file line number Diff line number Diff line change 11name : mergesort-gtest
22
3- on : [push, pull_request]
4- # paths:
5- # - 'mergesort/**'
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
612
713jobs :
814 build :
Original file line number Diff line number Diff line change 11name : mergesort-test-valgrind
22
3- on : [push, pull_request]
4- # paths:
5- # - 'mergesort/**'
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
612
713jobs :
814 build :
You can’t perform that action at this time.
0 commit comments