diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-06 14:43:04 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-18 11:34:42 +0200 |
| commit | 24d9114275cf8e2aa279feabd03c58f411f38a92 (patch) | |
| tree | 4d3b94df3a439e5100a179c99bf96ebb15781420 /docs/headerparser_usage.md | |
| parent | 37137150cb3bec5efc9112447b03d4999612e3d4 (diff) | |
.github/workflows: add CI workflow
Switch from Travis to Github Actions for testing.
This is faster and is better integrated with github.
Update #1699
Diffstat (limited to 'docs/headerparser_usage.md')
0 files changed, 0 insertions, 0 deletions