Skip to content
This repository was archived by the owner on Dec 10, 2025. It is now read-only.

chore: add Dependency Review GitHub Action #238

chore: add Dependency Review GitHub Action

chore: add Dependency Review GitHub Action #238

Triggered via pull request September 17, 2025 16:25
Status Success
Total duration 7m 32s
Artifacts

certora-steward.yml

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