Skip to content
certora

Add SPDX-License-Identifier headers to Certora harness files #22

Sign in to view logs

Add SPDX-License-Identifier headers to Certora harness files

Add SPDX-License-Identifier headers to Certora harness files #22

This workflow is awaiting approval from a maintainer in #117
Triggered via pull request October 31, 2025 04:13
@0x45430x4543
opened #117
0x4543:main
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #117

certora-review.yml

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