diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2021-06-24 20:33:18 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2021-06-24 20:33:18 +0200 |
| commit | 07958ab26e94d5ab7e0873cc00d7beb9c417975e (patch) | |
| tree | 565668a4a5fca83508b59deb8f3b7bed74f19977 /opendc-harness | |
| parent | abf10eb0630d25c1e26e598b2dbfab758f14ced9 (diff) | |
ci: Build pushes to master branch
This change updates the build workflow to trigger on pushes to the
master branch. We previously removed this trigger to reduce the number
of CI builds when merging changes into the master branch.
However, with the integration of Codecov as well as the caching steps in
the workflow, it makes sense to build every push to the master branch.
Diffstat (limited to 'opendc-harness')
0 files changed, 0 insertions, 0 deletions