Commit Graph

2 Commits (096dce4bbac343bef7cbfec7d4ce5da548c248c8)

Author SHA1 Message Date
Philippe Antoine dfadd03b6f ci: updates github ci add-path mechanism 6 years ago
Jason Ish d955acc01c github-ci: check all commits on pr
On a pull request, attempt to compile all commits from
the base branch to the head of the PR branch.

The job is in a separate workflow file to limit it to
pull-requests only, as the base branch is not available
on push (something to look into).
6 years ago