docs: add comprehensive formal verification architecture documentation #57
avrabeci.yml
on: pull_request
Matrix: Build
WASM Build (wasm32-wasip2 with Z3)
28s
Format
9s
Clippy
16m 7s
Code Coverage
22m 38s
Benchmarks
21m 6s
Z3 Verification Build
18m 1s
Matrix: Test
Validate WebAssembly Output
21m 13s
Self-Optimization Test
0s
Annotations
10 errors
|
WASM Build (wasm32-wasip2 with Z3)
Process completed with exit code 1.
|
|
Test (ubuntu-latest, stable)
System.IO.IOException: No space left on device : '/home/runner/actions-runner/cached/_diag/Worker_20251226-145147-utc.log'
Unhandled exception. System.IO.IOException: No space left on device : '/home/runner/actions-runner/cached/_diag/Worker_20251226-145147-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 System.Diagnostics.TraceSource.Flush()
at GitHub.Runner.Common.Tracing.Dispose(Boolean disposing)
at GitHub.Runner.Common.Tracing.Dispose()
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)
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.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/actions-runner/cached/_diag/Worker_20251226-145147-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(Exception exception)
at GitHub.Runner.Worker.Program.MainAsync(IHostContext context, String[] args)
|
|
Test (windows-latest, stable)
The strategy configuration was canceled because "test.ubuntu-latest_stable" failed
|
|
Test (windows-latest, stable)
The operation was canceled.
|
|
Test (macos-latest, stable)
The strategy configuration was canceled because "test.ubuntu-latest_stable" failed
|
|
Test (macos-latest, stable)
The operation was canceled.
|
|
Z3 Verification Build
Process completed with exit code 1.
|
|
Benchmarks
Process completed with exit code 101.
|
|
Code Coverage
Process completed with exit code 1.
|
|
Validate WebAssembly Output
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
loom-macos-latest
|
8.68 MB |
sha256:a63f95b6e18b6be52759084dc6e4e6734cc3998f9b7dbe0f903c7177ed88bd3a
|
|
|
loom-ubuntu-latest
|
12.4 MB |
sha256:153ff57caef9900c64dc4d66c327919174fe85ffa2d56978272ff03040b272cf
|
|
|
loom-windows-latest
|
8.26 MB |
sha256:822389025a2389b5dd0db16575d90d0702a652c355cd0cdfcf44f073f31b4da2
|
|