Skip to content
Certora verification

ci: set read-only workflow token permissions #169

Sign in to view logs

ci: set read-only workflow token permissions

ci: set read-only workflow token permissions #169

This workflow is awaiting approval from a maintainer in #170
Triggered via pull request July 15, 2026 12:43
@Alb3e3Alb3e3
synchronize #170
Alb3e3:alb3e3/ci-readonly-token-permissions
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #170

certora.yml

on: pull_request
Matrix: verify
Waiting for pending jobs
Fit to window
Zoom out
Zoom in