Skip to content
Jenkins
log in
Dashboard
gaming
Gaming GUI
Changes
Status
Changes
Build History
trend
No builds
#83
May 28, 2024, 3:43 PM
#82
May 28, 2024, 12:53 PM
#81
Nov 21, 2023, 10:23 AM
#80
Oct 10, 2023, 12:23 AM
#79
Oct 9, 2023, 9:57 PM
#78
Oct 9, 2023, 9:48 PM
#77
Oct 9, 2023, 9:44 PM
#76
Oct 9, 2023, 9:33 PM
#75
Oct 9, 2023, 3:38 PM
#74
Sep 4, 2023, 12:28 PM
#73
Apr 17, 2023, 9:18 PM
#72
Apr 17, 2023, 9:02 PM
#71
Apr 17, 2023, 8:58 PM
#70
Apr 17, 2023, 8:38 PM
#69
Mar 15, 2023, 12:18 AM
#68
Feb 11, 2023, 7:19 AM
Changes between #81 and #82
#82 (May 28, 2024, 12:53:12 PM)
gaming: PMD deactivated for now (it does not work well with Eclipse anymore) —
Christoph Schulz
/
detail
build: plug-ins and dependencies updated —
Christoph Schulz
/
detail