search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

parent/pom.xml: Enforce Plugin Version 1.4.1 => 3.0.0-M1 #2344

Open msaxena2 opened 6 years ago

msaxena2 commented 6 years ago

The old version of the plugin had issues dealing with versions of Java outside the range 1.8 range. The update fixes the issue.

nishantjr commented 6 years ago

Can you get codeship to rebuild? I don't seem to have permission.

On Sep 22, 2017 12:08 PM, "Manasvi Saxena" notifications@github.com wrote:

@msaxena2 https://github.com/msaxena2 requested your review on: kframework/k#2344 https://github.com/kframework/k/pull/2344 parent/pom.xml: Enforce Plugin Version 1.4.1 => 3.0.0-M1.

— You are receiving this because your review was requested. Reply to this email directly, view it on GitHub https://github.com/kframework/k/pull/2344#event-1261625927, or mute the thread https://github.com/notifications/unsubscribe-auth/AAmwBfjZ3fST8dK166S_R1PDqK7IkB9Zks5sk-mggaJpZM4Pg_E5 .