Skip to content

Releases: hyperadev/kani

kani v1.2.3

11 Jan 10:58
d535a51
Compare
Choose a tag to compare

Changelog

Dependency updates

  • 864ec6f: fix(deps): update module github.com/coreos/go-oidc/v3 to v3.5.0 (#20) (@renovate[bot])

Full Changelog: v1.2.2...v1.2.3

kani v1.2.2

02 Jan 16:18
a7246f8
Compare
Choose a tag to compare

Changelog

Fixes

Full Changelog: v1.2.1...v1.2.2

kani v1.2.1

02 Jan 15:34
9de0a08
Compare
Choose a tag to compare

Changelog

Fixes

Full Changelog: v1.2.0...v1.2.1

kani v1.2.0

18 Dec 09:35
71e81aa
Compare
Choose a tag to compare

Changelog

Other

v1.1.2

07 Dec 05:11
bac7b9a
Compare
Choose a tag to compare
  • chore(deps): update golang docker tag to v1.19.4 by @renovate in #13

Full Changelog: v1.1.1...v1.1.2

v1.1.1

24 Nov 04:58
a2d4895
Compare
Choose a tag to compare

What's Changed

Full Changelog: v1.1.0...v1.1.1

v1.1.0

24 Nov 03:39
3766d55
Compare
Choose a tag to compare

feat(docker): move to a scratch image (~8mb)
Move to using a 'scratch' Docker image, which allows us to execute
Kani directly without including an operating system in the image.
This significantly reduces the size of the output image.

Full Changelog: v1.0.2...v1.1.0

v1.0.2

24 Nov 02:56
5c311e7
Compare
Choose a tag to compare

What's Changed

  • chore(deps): update golang docker tag to v1.19.2 by @renovate in #8
  • chore(deps): update golang docker tag to v1.19.3 by @renovate in #10
  • fix(deps): update module github.com/gofiber/fiber/v2 to v2.40.1 by @renovate in #9

Full Changelog: v1.0.1...v1.0.2

v1.0.1

26 Sep 13:17
b47c837
Compare
Choose a tag to compare

What's Changed

  • chore(deps): update docker/login-action action to v2 by @renovate in #6
  • chore(deps): update docker/build-push-action action to v3 by @renovate in #5
  • fix(deps): update module github.com/gofiber/fiber/v2 to v2.38.1 by @renovate in #7

Full Changelog: https://github.com/HyperaDev/kani/commits/v1.0.1