Skip to content

Syncing test.toml and updating the test code and the proof solutions for zipper #6398

Syncing test.toml and updating the test code and the proof solutions for zipper

Syncing test.toml and updating the test code and the proof solutions for zipper #6398

Triggered via pull request June 6, 2025 08:25
Status Success
Total duration 22s
Artifacts

verify-code-formatting.yml

on: pull_request
Fit to window
Zoom out
Zoom in