Skip to content
Jenkins
Anmelden
Dashboard
JHCR
Workspace
Status
Änderungen
Arbeitsbereich
Git Abfrage-Protokoll
GitHub
Embeddable Build Status
Build-Verlauf
Trend
No builds
#93
14.01.2026, 10:56
#92
13.01.2026, 22:11
#91
02.12.2025, 13:26
#90
22.07.2025, 16:41
#89
08.06.2024, 14:56
#88
06.02.2024, 15:26
#87
29.11.2023, 17:41
#86
29.11.2023, 00:11
#85
28.11.2023, 23:56
#84
28.11.2023, 19:11
#83
27.11.2023, 17:56
#82
27.11.2023, 16:11
#81
25.11.2023, 09:56
#80
24.11.2023, 19:11
#79
15.11.2023, 10:56
#78
15.11.2023, 10:41
#77
14.11.2023, 23:41
#76
30.10.2023, 20:11
#75
28.10.2023, 14:26
#74
23.09.2023, 12:11
#73
20.09.2023, 17:26
#72
10.09.2023, 12:11
#71
04.09.2023, 12:26
#70
02.09.2023, 18:56
#69
02.09.2023, 18:41
#68
02.09.2023, 15:56
#67
25.08.2023, 15:26
#66
05.03.2023, 15:25
#65
05.03.2023, 13:55
#64
04.03.2023, 17:10
Workspace von „JHCR“ auf „master“
JHCR
/
src
/
Hot
/
Init
/
Auto.hs
29.11.2023, 17:41:09
10,42 KB
Rename.hs
14.01.2026, 10:56:06
10,01 KB
Stubs.hs
29.11.2023, 17:41:09
3,64 KB
(Alle Dateien als ZIP-Archiv herunterladen)
![[Jenkins]](/hudson/static/7d48cf42/images/svgs/logo.svg){kind=logo}
