diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2020-06-15 19:42:51 +0000 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2020-06-15 19:42:51 +0000 |
| commit | 11565797c61e2b349e0b86be38d8287f43e03c2a (patch) | |
| tree | 980ee25064bcb5396b514474cacd62c834ffb614 /.github/workflows/properties | |
| parent | cfd5f4785e9c2ae88e666d1fb94a3488904a87f5 (diff) | |
Combine publish, docs and build into one workflow
Diffstat (limited to '.github/workflows/properties')
0 files changed, 0 insertions, 0 deletions