Skip to content
ci

Standardize GitHub Actions check names #177

Sign in to view logs

Standardize GitHub Actions check names

Standardize GitHub Actions check names #177

Run time

Learn about OS pricing on GitHub Actions
Job Run time
IntentProof CI: Build and Test
12s
12s