Skip to content
Jenkins
log in
Dashboard
precheck-sanitizers
Status
Changes
Full Stage View
GitHub
GitHub Hook Log
Build History
trend
No builds
#12
Jul 4, 2025, 6:21 PM
#11
Jun 19, 2025, 4:20 PM
#10
Jun 17, 2025, 8:53 PM
#9
Jun 13, 2025, 2:30 PM
#8
Jul 19, 2024, 4:57 PM
#7
Jul 19, 2024, 4:55 PM
precheck
-sanitizers
Let developers test their own branches before they get merged with sanitizers.
Permalinks
Last build (#12), 25 days ago
Last stable build (#8), 1 yr 0 mo ago
Last successful build (#8), 1 yr 0 mo ago
Last failed build (#12), 25 days ago
Last unsuccessful build (#12), 25 days ago
Last completed build (#12), 25 days ago
![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
