File tree Expand file tree Collapse file tree 4 files changed +26
-28
lines changed Expand file tree Collapse file tree 4 files changed +26
-28
lines changed Original file line number Diff line number Diff line change 11name : array-merge-gtest
22
3+ # The `workflow_dispatch` lets us manually trigger this action
4+ # through the GitHub web interface. See
5+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
6+ # for more details.
7+ # We probably want to re-run the `array_merge` checks if the
8+ # definition of `mergesort` changes since this depends on that.
39on :
410 push :
511 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.
12+ - ' array_merge/**'
13+ - ' mergesort/mergesort.[ch]'
1414 workflow_dispatch :
1515
1616jobs :
3838 - name : Run test
3939 run : ./array_merge_test
4040 working-directory : array_merge
41-
Original file line number Diff line number Diff line change 11name : array-merge-test-valgrind
22
3+ # The `workflow_dispatch` lets us manually trigger this action
4+ # through the GitHub web interface. See
5+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
6+ # for more details.
7+ # We probably want to re-run the `array_merge` checks if the
8+ # definition of `mergesort` changes since this depends on that.
39on :
410 push :
511 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.
12+ - ' array_merge/**'
13+ - ' mergesort/mergesort.[ch]'
1414 workflow_dispatch :
1515
1616jobs :
Original file line number Diff line number Diff line change 11name : mergesort-gtest
22
3+ # The `workflow_dispatch` lets us manually trigger this action
4+ # through the GitHub web interface. See
5+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
6+ # for more details.
37on :
48 push :
59 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.
10+ - ' mergesort/**'
1111 workflow_dispatch :
1212
1313jobs :
3535 - name : Run test
3636 run : ./mergesort_test
3737 working-directory : mergesort
38-
Original file line number Diff line number Diff line change 11name : mergesort-test-valgrind
22
3+ # The `workflow_dispatch` lets us manually trigger this action
4+ # through the GitHub web interface. See
5+ # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_dispatch
6+ # for more details.
37on :
48 push :
59 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.
10+ - ' mergesort/**'
1111 workflow_dispatch :
1212
1313jobs :
You can’t perform that action at this time.
0 commit comments