mirror of
https://github.com/openocd-org/openocd.git
synced 2025-10-13 18:28:10 +08:00

- update runner to ubuntu-latest - pass GITHUB_TOKEN to delete-tag-and-release as input Change-Id: I83d69cfd7af7c44e67b1115ac843a0b41d6f87b9 Signed-off-by: Samuel Obuch <samuel.obuch@espressif.com> Reviewed-on: https://review.openocd.org/c/openocd/+/8756 Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com> Tested-by: jenkins