OK
OK
OK

sbt-libisabelle private

To start a new build commit change to repository or click New build button.
Update sbt, scripted-plugin to 1.2.8 (#14)
Update sbt, scripted-plugin to 1.2.8
58
6 years ago by Lars Hupel (committed by GitHub)
master cf0724fe
6 years ago in 8 min 8 sec
8 min 8 sec
Rendering console...
Log is empty.