Re: [jdt-dev] build trouble

[Aaron Digulla <digulla@xxxxxxxx>]

Am 22.04.22 um 00:15 schrieb Stephan Herrmann:
> 20:51:25 An error has occurred. See the log file
> 20:51:25 
> /home/jenkins/agent/workspace/eclipse.jdt.core-Github_PR-28/org.eclipse.jdt.annotation/target/apigeneration-workspace/configuration/1650567083880.log.
What's in this log file?

If Jenkins deletes the workspace, then you can ask Jenkins to archive 
"**/*.log" after the build to transfer the file to the Jenkins master 
where it will be kept along with the Job.

The details depend on how you run the jobs.

Regards,

--
Aaron "Optimizer" Digulla a.k.a. Philmann Dark
"It's not the universe that's limited, it's our imagination.
Follow me and I'll show you something beyond the limits."
http://blog.pdark.de/