Skip to content

Update project branding to VeriStruct and improve script consistency #12

Update project branding to VeriStruct and improve script consistency

Update project branding to VeriStruct and improve script consistency #12

Triggered via push November 7, 2025 17:11
Status Success
Total duration 31s
Artifacts

pre-commit.yml

on: push
pre-commit
23s
pre-commit
Fit to window
Zoom out
Zoom in