Build #1,367

Continuously builds all semantics plug-ins upon repository changes.

Build: #1367 was successful Changes by cmot <cmot@beorn>

Build result summary

Details

Completed
Duration
6 minutes
Labels
None
Revisions
KIELER Semantics
1fd6e6c0342fb2460f58c5dc23ef21f84609558a 1fd6e6c0342fb2460f58c5dc23ef21f84609558a
Models Repository
2cfa6541bf40e6511408ab543ea5e1de02eab7f2 2cfa6541bf40e6511408ab543ea5e1de02eab7f2
Total tests
114
Successful since
#1366 ()

Tests

  • 0 New failures
  • 0 Existing failures
  • 0 Fixed

Code commits

KIELER Semantics
Author Commit Message Commit date
cmot <cmot@beorn> cmot <cmot@beorn> 1fd6e6c0342fb2460f58c5dc23ef21f84609558a 1fd6e6c0342fb2460f58c5dc23ef21f84609558a Merge branch 'master' of ssh://git@git.rtsys.informatik.uni-kiel.de:7999/kieler/semantics.git
cmot <cmot@beorn> cmot <cmot@beorn> 2acd9cace7ed50583a782913fdba3b14e603891b 2acd9cace7ed50583a782913fdba3b14e603891b updated usertime.c for linux