stella-ops.org/git.stella-ops.org
1
0
Fork 0
Code Issues Pull Requests Actions 2 Releases Wiki Activity

Merge branch 'main' of https://git.stella-ops.org/stella-ops.org/git.stella-ops.org

Browse Source
This commit is contained in:
StellaOps Bot
2025-12-26 21:43:56 +02:00
parent 75de089ee8 f10d83c444
commit 32f9581aa7
354 changed files with 354 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/Scanner/__Tests/StellaOps.Scanner.ProofSpine.Tests/PostgresProofSpineRepositoryTests.cs
View File

@@ -40,6 +40,7 @@ public sealed class PostgresProofSpineRepositoryTests
};
await using var dataSource = new ScannerDataSource(Options.Create(options), NullLogger<ScannerDataSource>.Instance);
using StellaOps.TestKit;
var repository = new PostgresProofSpineRepository(
dataSource,
NullLogger<PostgresProofSpineRepository>.Instance,