Status

Changes

Console Output

View Build Information

Parameters

Environment Variables

Git Build Data

Parameters

Console Output (parsed)

Coverage Report

Test Result

Coverage.py Report

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	21 ms	Passed
test_posyconstr_in_sp	37 ms	Passed
test_sigconstr_in_sp	32 ms	Passed