Skip to content

Scalafix, Scalafmt, github CI and bug fix in the equivalent checker

Viktor Kuncak requested to merge github/fork/SimonGuilloud/main into main

Created by: SimonGuilloud

Implement changes proposed in pr https://github.com/epfl-lara/lisa/pull/4/ Fix small bug reported in issue https://github.com/epfl-lara/lisa/issues/12

Merge request reports