Skip to content
This repository was archived by the owner on Mar 23, 2026. It is now read-only.

[WIP] Fix the failing proof job #152

Closed
Copilot wants to merge 1 commit into from

Initial plan

4b2bb0b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[WIP] Fix the failing proof job #152

Initial plan
4b2bb0b
Select commit
Loading
Failed to load commit list.
Analyze (java-kotlin)
succeeded Feb 28, 2026 in 1m 13s