Skip to content

boolector: bins of btor2tools are now in subdir 'build' #260

boolector: bins of btor2tools are now in subdir 'build'

boolector: bins of btor2tools are now in subdir 'build' #260

Triggered via push May 15, 2024 10:47
Status Failure
Total duration 1h 27m 49s
Artifacts

f4pga.yml

on: push
eos-s3  /  matrix
7s
eos-s3 / matrix
xc7-toolchain  /  matrix
9s
xc7-toolchain / matrix
Matrix: eos-s3 / jobs
Matrix: xc7-toolchain / jobs
xc7-devices  /  matrix
6s
xc7-devices / matrix
Matrix: xc7-devices / jobs
Matrix: xc7 / jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 7 warnings
xc7 / amd64/debian/bullseye | conda/f4pga/xc7
System.IO.IOException: No space left on device : '/home/runner/runners/2.316.1/_diag/Worker_20240515-121338-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.Worker.Worker.RunAsync(String pipeIn, String pipeOut) at GitHub.Runner.Worker.Program.MainAsync(IHostContext context, String[] args) System.IO.IOException: No space left on device : '/home/runner/runners/2.316.1/_diag/Worker_20240515-121338-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(Exception exception) at GitHub.Runner.Worker.Program.MainAsync(IHostContext context, String[] args) Unhandled exception. System.IO.IOException: No space left on device : '/home/runner/runners/2.316.1/_diag/Worker_20240515-121338-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 System.Diagnostics.TraceSource.Flush() at GitHub.Runner.Common.TraceManager.Dispose(Boolean disposing) at GitHub.Runner.Common.TraceManager.Dispose() at GitHub.Runner.Common.HostContext.Dispose(Boolean disposing) at GitHub.Runner.Common.HostContext.Dispose() at GitHub.Runner.Worker.Program.Main(String[] args)
eos-s3 / amd64/debian/bullseye | conda/f4pga/eos-s3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
xc7-toolchain / amd64/debian/bullseye | conda/f4pga/xc7/toolchain
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
xc7-devices / amd64/debian/bullseye | conda/f4pga/xc7/z010
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
xc7-devices / amd64/debian/bullseye | conda/f4pga/xc7/a50t
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
xc7-devices / amd64/debian/bullseye | conda/f4pga/xc7/z020
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
xc7-devices / amd64/debian/bullseye | conda/f4pga/xc7/a100t
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
xc7-devices / amd64/debian/bullseye | conda/f4pga/xc7/a200t
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pyTooling/Actions/with-post-step@r0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.