Skip to content

Merge pull request #118 from javaevolved/copilot/add-proof-link-to-sl… #20

Merge pull request #118 from javaevolved/copilot/add-proof-link-to-sl…

Merge pull request #118 from javaevolved/copilot/add-proof-link-to-sl… #20

Triggered via push February 28, 2026 07:44
Status Success
Total duration 31s
Artifacts
Fit to window
Zoom out
Zoom in