Skip to content
Jenkins
log in
Jenkins
overture-master
org.overture.ide.plugins.latex
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#30
Nov 10, 2020 4:22 PM
72 KB
#29
Aug 28, 2020 1:49 PM
70 KB
Timeline
Build Time Trend
Build
Duration
Agent
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
