#5260 (May 10, 2024, 10:21:39 AM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. Some new simprules – and patches for proofs (detail / hgweb)
2. merged (detail / hgweb)
3. merged (detail / hgweb)
4. A little more tidying in Nominal (detail / hgweb)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merged (detail)
2. simprule status for of_nat_diff and eventually_frequently_const_simps; logical, caused quite a few incompatibilities (detail)

Started by an SCM change

This run spent:

• 3 min 36 sec waiting;
• 5 hr 0 min build duration;
• 5 hr 3 min total from scheduled to completion.

jenkins.util.io.CompositeIOException: Unable to delete '/var/www/afp-devel'. Tried 3 times (of a maximum of 3) waiting 0.1 sec between attempts.
	at jenkins.util.io.PathRemover.forceRemoveDirectoryContents(PathRemover.java:87)
	at hudson.Util.deleteContentsRecursive(Util.java:297)
	at hudson.FilePath$DeleteContents.invoke(FilePath.java:1497)
	at hudson.FilePath$DeleteContents.invoke(FilePath.java:1492)
	at hudson.FilePath.act(FilePath.java:1236)
	at hudson.FilePath.act(FilePath.java:1219)
	at hudson.FilePath.deleteContents(FilePath.java:1489)
	at hudson.FilePath$deleteContents$1.call(Unknown Source)
	at org.codehaus.groovy.runtime.callsite.CallSiteArray.defaultCall(CallSiteArray.java:47)
	at org.codehaus.groovy.runtime.callsite.AbstractCallSite.call(AbstractCallSite.java:116)
	at org.codehaus.groovy.runtime.callsite.AbstractCallSite.call(AbstractCallSite.java:120)
	at Script1.run(Script1.groovy:11)
	at groovy.lang.GroovyShell.evaluate(GroovyShell.java:574)
	at groovy.lang.GroovyShell.evaluate(GroovyShell.java:612)
	at groovy.lang.GroovyShell.evaluate(GroovyShell.java:583)
	at org.jenkinsci.plugins.scriptsecurity.sandbox.groovy.SecureGroovyScript.evaluate(SecureGroovyScript.java:373)
	at org.jenkinsci.plugins.scriptsecurity.sandbox.groovy.SecureGroovyScript.evaluate(SecureGroovyScript.java:310)
	at org.jvnet.hudson.plugins.groovypostbuild.GroovyPostbuildRecorder.perform(GroovyPostbuildRecorder.java:434)
	at hudson.tasks.BuildStepMonitor$1.perform(BuildStepMonitor.java:20)
	at hudson.model.AbstractBuild$AbstractBuildExecution.perform(AbstractBuild.java:818)
	at hudson.model.AbstractBuild$AbstractBuildExecution.performAllBuildSteps(AbstractBuild.java:767)
	at hudson.model.Build$BuildExecution.post2(Build.java:179)
	at hudson.model.AbstractBuild$AbstractBuildExecution.post(AbstractBuild.java:711)
	at hudson.model.Run.execute(Run.java:1918)
	at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:44)
	at hudson.model.ResourceController.execute(ResourceController.java:101)
	at hudson.model.Executor.run(Executor.java:442)
	Suppressed: java.nio.file.FileSystemException: /var/www/afp-devel: Too many open files
		at java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:100)
		at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:106)
		at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:111)
		at java.base/sun.nio.fs.UnixFileSystemProvider.newDirectoryStream(UnixFileSystemProvider.java:440)
		at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
		at jenkins.util.io.PathRemover.tryRemoveDirectoryContents(PathRemover.java:221)
		at jenkins.util.io.PathRemover.forceRemoveDirectoryContents(PathRemover.java:84)
		... 26 more