certora-steward

chore: add license badge #219

Sign in to view logs

This workflow is awaiting approval from a maintainer in #452

Triggered via pull request April 25, 2025 06:37

opened #452

operagxoksana:patch-1

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #452

certora-steward.yml

on: pull_request

Matrix: verify

Waiting for pending jobs