| commit | 836d387a37e33c7d02614f88a66f4014385e761a | [log] [tgz] |
|---|---|---|
| author | Brian Neradt <brian.neradt@gmail.com> | Thu Nov 16 16:34:26 2023 -0600 |
| committer | GitHub <noreply@github.com> | Thu Nov 16 16:34:26 2023 -0600 |
| tree | b628963b091c9a5dc5ae642d0ac07b9ad78c013b | |
| parent | 8ac51b4f6cbc47e948e2d733f6950caf8482f904 [diff] |
Use ci-ubuntu for the Ubuntu PR CI build (#295)