diff options
| author | Doug Tangren <d.tangren@gmail.com> | 2019-12-06 00:23:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-06 00:23:33 -0500 |
| commit | cf8a06e79079193c89752239b1be7f3b18491f45 (patch) | |
| tree | 06a7a415e2842280b2044487041af486f3d93367 /.gitignore | |
| parent | 546753dc6d3215429e6f91c80abaa6599de332e5 (diff) | |
port build to gh actions (#204)
* port build to gh actions
* attempt 2: trip hook registration
* hooked to pushes
* gh actions badge
* build cache
* gate at job level
* fix badge merge
* populate cache after checkout
* work now cache later
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions