Skip to content

add test for immediately failing concolic test #303

add test for immediately failing concolic test

add test for immediately failing concolic test #303

Triggered via push June 3, 2024 15:12
Status Failure
Total duration 5m 29s
Artifacts

deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 1 notice
deploy
System.IO.IOException: No space left on device : '/home/runner/runners/2.316.1/_diag/pages/2c089cef-0611-4f8f-96c3-47e3b8f4e2bb_e07742bd-189a-5079-918b-43f8b2f94b89_1.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 GitHub.Runner.Common.PagingLogger.EndPage() at GitHub.Runner.Common.PagingLogger.End() at GitHub.Runner.Worker.ExecutionContext.Complete(Nullable`1 result, String currentOperation, String resultCode) at GitHub.Runner.Worker.JobRunner.CompleteJobAsync(IJobServer jobServer, IExecutionContext jobContext, AgentJobRequestMessage message, Nullable`1 taskResult) at GitHub.Runner.Worker.JobRunner.CompleteJobAsync(IRunnerService server, IExecutionContext jobContext, AgentJobRequestMessage message, Nullable`1 taskResult) at GitHub.Runner.Worker.JobRunner.RunAsync(AgentJobRequestMessage message, CancellationToken jobRequestCancellationToken) 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)
deploy
The process '/opt/hostedtoolcache/opam/2.2.0-beta2/x86_64/opam' failed with exit code 40
deploy
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 25 MB
deploy
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100