| commit | 8b290442a0e3ea8bac94b3e7c8bb9a9a282afba0 | [log] [tgz] |
|---|---|---|
| author | Brian Neradt <brian.neradt@gmail.com> | Thu May 18 17:09:22 2023 -0500 |
| committer | GitHub <noreply@github.com> | Thu May 18 17:09:22 2023 -0500 |
| tree | 0ca9bd98e62797dee75b8ebf5af644e1623b2105 | |
| parent | 68d38a4f4085e2359b10c608764f94ac216415f1 [diff] |
Add CentOS to the PR CI jobs (#166)