Pipeline · general / stups / ProB Rodin Plugin

Remove windowslib64.zip download

All files from windowslib64.zip are already included in
probcli_win64.zip, so it's enough to download just the second ZIP.

2 jobs for develop in 2 minutes and 20 seconds (queued for 3 seconds)

e91260f5

Name Stage Failure

	Name	Stage	Failure
failed	build	Build
	`... 30 more [ERROR] [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch. [ERROR] Re-run Maven using the -X switch to enable full debug logging. [ERROR] [ERROR] For more information about the errors and possible solutions, please read the following articles: [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/InternalErrorException Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`

failed

build

Build

	... 30 more
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/InternalErrorException
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1