introduce the category of graded lattices #24843
Triggered via pull request
November 20, 2025 12:51
fchapoton
Status
Failure
Total duration
1h 0m 53s
Artifacts
–
Annotations
1 error
|
doc-html
System.IO.IOException: No space left on device : '/home/runner/actions-runner/cached/_diag/Worker_20251120-125140-utc.log'
at System.IO.RandomAccess.WriteAtOffset(SafeFileHandle handle, ReadOnlySpan`1 buffer, Int64 fileOffset)
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 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)
|