Skip to content
codeql

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

Sign in to view logs

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 #4478

Triggered via pull request June 6, 2025 08:25
@Cool-KattCool-Katt
reopened #2654
jagdish-15:update-tests-zipper
Status Success
Total duration 1m 15s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in