| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | github: Remove release workflow | 2023-06-06 | 1 | -188/+0 | |
| * | android: Fix ci builds with Java 17 | 2023-06-06 | 1 | -0/+5 | |
| * | android: Various fixes for CI. | 2023-06-03 | 1 | -4/+1 | |
| * | CI: use the verify pipeline to do releases | 2023-06-03 | 1 | -0/+186 |