Skip to content

Make EnhancedProblems serializable and no longer extend Problems #64

Make EnhancedProblems serializable and no longer extend Problems

Make EnhancedProblems serializable and no longer extend Problems #64

Triggered via push August 23, 2025 16:58
Status Success
Total duration 2m 27s
Artifacts

publish.yml

on: push
build  /  ...  /  Git Version
9s
build / Run Git Version / Git Version
build  /  ...  /  Notify Discord
3s
build / Notify Discord (start) / Notify Discord
build  /  ...  /  Notify Discord
4s
build / Notify Discord (end) / Notify Discord
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Java Version Info
OpenJDK 64-Bit Server VM (17.0.16+8) for linux-amd64 JRE (17.0.16+8), built on Jul 15 2025 00:00:00 by "admin" with gcc 10.3.0