Skip to content
Main workflow

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

Sign in to view logs

Add SPDX-License-Identifier headers to Certora harness files

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s