diff options
| author | Martin Haug <mhaug@live.de> | 2021-06-29 12:33:24 +0200 |
|---|---|---|
| committer | Martin Haug <mhaug@live.de> | 2021-06-29 12:33:24 +0200 |
| commit | 21d919e2d2a38802ba96003597eadb68342d71ef (patch) | |
| tree | 9ec3dd8f08aa29456063ba478520254990578faa /.github/workflows | |
| parent | 8ea05739afdbe84fc50fe97d780cc6096d8df03d (diff) | |
Put incremental compilation behind feature
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions