Status

Changes

Console Output

View as plain text

View Build Information

Parameters

Environment Variables

Git Build Data

Parameters

Console Output (parsed)

Test Result

Changes since last success

Embeddable Build Status

Previous Build

Next Build

The Jenkins Controller is preparing for shutdown. No new builds can be started.

Test Result : TestTight

0 failures (±0)

3 tests (±0)

All Tests

Test name	Duration	Status
test_posyconstr_in_gp	0.51 sec	Passed
test_posyconstr_in_sp	1.1 sec	Passed
test_sigconstr_in_sp	0.83 sec	Passed