Svnn ibc proof generation #60

Job	Run time
Discover Versions	8s
Platform Cache / Discover Platforms	5s
Platform Cache / Build Platforms (none)	3s
Run Build Workflow / Build leap (reproducible)	7m 53s
Run Build Workflow / Build leap (asan)	10m 7s
Run Build Workflow / Build leap (asserton)	6m 29s
Run Build Workflow / Build leap (ubuntu20)	7m 52s
Run Build Workflow / Build leap (ubsan)	10m 12s
Run Build Workflow / Build leap (ubuntu22)	7m 48s
Tests (ubuntu20)	4m 17s
LR Tests (ubuntu20)	24m 14s
Tests (ubuntu22)	4m 25s
LR Tests (ubuntu22)	24m 3s
Tests (asserton)	4m 28s
LR Tests (asserton)	51m 9s
Tests (ubsan)	5m 35s
Build deb packages (ubuntu20)	9m 32s
LR Tests (ubsan)	25m 38s
Tests (asan)	7m 56s
NP Tests (ubuntu20)	6m 58s
Build deb packages (ubuntu22)	11m 40s
LR Tests (ubuntu20repro)	24m 2s
NP Tests (ubuntu22)	6m 20s
Build deb packages (reproducible)	10m 41s
LR Tests (ubuntu22repro)	23m 58s
NP Tests (asserton)	7m 48s
NP Tests (ubsan)	8m 9s
Tests (ubuntu20repro)	4m 28s
NP Tests (ubuntu20repro)	6m 53s
NP Tests (ubuntu22repro)	6m 22s
Tests (ubuntu22repro)	4m 30s
libtester tests (ubuntu22, build-tree)	8m 22s
libtester tests (ubuntu22, make-dev-install)	8m 13s
libtester tests (ubuntu22, deb-install)	4m 20s
All Required Tests Passed	1s
	5h 54m 39s

Provide feedback