Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 11 mo ago
Took 9 min 20 sec
Success

Build #15 (Jul 8, 2020, 5:20:05 AM)

Changes
  1. Minor refactorings (details / githubweb)
  2. Removing buggy classpath entry (details / githubweb)
  3. Removing all of the unneeded Clafer stuff from the Task integrator (details / githubweb)

Branch indexing

Revision: c6cfe5d97ad8a6035af268e71d346e59b6a72667
Repository: https://github.com/eclipse-cognicrypt/CogniCrypt.git
  • feature/extension_points