Skip to content

Actions: hyperadev/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): update Go to v1.21.0, update golang.org/x/* Go #83: Pull request #41 opened by joshuasing
August 10, 2023 04:46 54s chore/update-deps
chore/update-deps
August 10, 2023 04:46 54s
chore(deps): update golang Docker tag to v1.21.0 - autoclosed Go #82: Pull request #40 opened by renovate bot
August 9, 2023 00:07 25s renovate/golang-1.x
renovate/golang-1.x
August 9, 2023 00:07 25s
chore(deps): update alpine Docker tag to v3.18.3 (#39) Go #81: Commit caedf20 pushed by joshuasing
August 8, 2023 12:49 53s main
main
August 8, 2023 12:49 53s
chore(deps): update alpine Docker tag to v3.18.3 Go #80: Pull request #39 opened by renovate bot
August 7, 2023 23:06 34s renovate/alpine-3.x
renovate/alpine-3.x
August 7, 2023 23:06 34s
chore(deps): update golang Docker tag to v1.20.7 (#38) Go #79: Commit 480f42a pushed by joshuasing
August 4, 2023 05:46 58s main
main
August 4, 2023 05:46 58s
chore(deps): update golang Docker tag to v1.20.7 Go #78: Pull request #38 opened by renovate bot
August 2, 2023 02:11 1m 9s renovate/golang-1.x
renovate/golang-1.x
August 2, 2023 02:11 1m 9s
chore: update README and copyright notices, add SECURITY and CONTRIBU… Release #13: Commit 91e5961 pushed by joshuasing
July 21, 2023 10:18 2m 19s v1.2.5
v1.2.5
July 21, 2023 10:18 2m 19s
chore: update README and copyright notices, add SECURITY and CONTRIBU… Go #77: Commit 91e5961 pushed by joshuasing
July 21, 2023 10:16 59s main
main
July 21, 2023 10:16 59s
chore: update dependencies, repository information Go #76: Pull request #37 opened by joshuasing
July 21, 2023 09:54 53s updates
updates
July 21, 2023 09:54 53s
chore(deps): update golang docker tag to v1.20.6 - autoclosed Go #75: Pull request #34 synchronize by renovate bot
July 11, 2023 22:03 26s renovate/golang-1.x
renovate/golang-1.x
July 11, 2023 22:03 26s
chore(config): migrate renovate config - autoclosed Go #74: Pull request #36 opened by renovate bot
July 9, 2023 09:16 32s renovate/migrate-config
renovate/migrate-config
July 9, 2023 09:16 32s