Skip to content
Jenkins
log in
Dashboard
OMJulia.jl
Pull Requests (8)
PR-72
Status
Changes
Full Stage View
Open Blue Ocean
GitHub
Jenkins Lint
Build History
trend
No builds
#3
Feb 20, 2023, 5:32 PM
#2
Feb 20, 2023, 5:24 PM
#1
Feb 20, 2023, 5:00 PM
Changes
#2 (Feb 20, 2023, 5:24:32 PM)
Updating TagBot and README —
Heuermann Andreas
/
githubweb
![[Jenkins]](/jenkins/static/7b8bca15/images/svgs/logo.svg){kind=logo}
