diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-12-15 01:24:11 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-12-15 01:57:06 +0100 |
commit | c6df798b68ab2e6f053cb6701e67203faac5eb9e (patch) | |
tree | 7ca0cee0b410c5259b5a4f36c7d4f7371da7353b /src/util | |
parent | c73d259b69304e832d157717dc5d33f8d629e6a5 (diff) |
GitHub Actions: Add clang-tidy to build-checks workflow
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions