25.1.0

Release polyspace-bug-finder for Polyspace 25a and later

24.2.1

Bump dependencies

24.2.0

Release polyspace-bug-finder for Polyspace 24b

24.1.0

Release polyspace-bug-finder action for Polyspace 24a

23.2.0

Release polyspace-bug-finder action for Polyspace 23b