Skip to content

Merge pull request #3 from utensil/dependabot/github_actions/dorny/pa… #236

Merge pull request #3 from utensil/dependabot/github_actions/dorny/pa…

Merge pull request #3 from utensil/dependabot/github_actions/dorny/pa… #236

Triggered via push October 24, 2024 01:05
Status Failure
Total duration 18m 3s
Artifacts

lean4.yml

on: push
Matrix: Lean 4 Projects
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Lean 4 Projects (ubuntu-latest)
No space left on device : '/home/runner/runners/2.320.0/_diag/blocks/b9b54aeb-ef38-40c8-ac06-2aa6b3b42b1f_b55037e3-cc33-50c7-b2d3-b9697086fd0d.1'
Lean 4 Projects (ubuntu-latest)
No space left on device : '/home/runner/runners/2.320.0/_diag/pages/b9b54aeb-ef38-40c8-ac06-2aa6b3b42b1f_64afb2fa-8239-5e53-ee42-7c395fb96c92_1.log'
Lean 4 Projects (ubuntu-latest)
System.IO.IOException: No space left on device : '/home/runner/runners/2.320.0/_diag/Worker_20241024-010510-utc.log' at System.IO.RandomAccess.WriteAtOffset(SafeFileHandle handle, ReadOnlySpan`1 buffer, Int64 fileOffset) at System.IO.Strategies.BufferedFileStreamStrategy.FlushWrite() at System.IO.StreamWriter.Flush(Boolean flushStream, Boolean flushEncoder) at System.Diagnostics.TextWriterTraceListener.Flush() at GitHub.Runner.Common.HostTraceListener.WriteHeader(String source, TraceEventType eventType, Int32 id) at GitHub.Runner.Common.HostTraceListener.TraceEvent(TraceEventCache eventCache, String source, TraceEventType eventType, Int32 id, String message) at System.Diagnostics.TraceSource.TraceEvent(TraceEventType eventType, Int32 id, String message) at GitHub.Runner.Common.Tracing.Error(String message) at GitHub.Runner.Worker.JobRunner.ShutdownQueue(Boolean throwOnFailure) at GitHub.Runner.Worker.JobRunner.RunAsync(AgentJobRequestMessage message, CancellationToken jobRequestCancellationToken) at GitHub.Runner.Worker.Worker.RunAsync(String pipeIn, String pipeOut) at GitHub.Runner.Worker.Program.MainAsync(IHostContext context, String[] args)
Lean 4 Projects (windows-latest)
lake build failed
Lean 4 Projects (windows-latest)
Process completed with exit code 1.