Skip to content

Fix a bunch of old proofs for CI before big refactor - #378

Merged
giltho merged 1 commit into
masterfrom
fixup-old-tests
Jun 28, 2026
Merged

Fix a bunch of old proofs for CI before big refactor#378
giltho merged 1 commit into
masterfrom
fixup-old-tests

Fix a bunch of old proofs for CI before big refactor

9bcb427
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
docker-build
succeeded Jun 28, 2026 in 13m 57s