Lint GitHub Actions workflows

Add ProofMetrics to the PerformanceReport #90

Sign in to view logs

Triggered via pull request February 12, 2025 17:39

prajwolrg

synchronize #22

feat/improved-perf

Status Success

Total duration 15s

Artifacts –

lint-actions.yml

on: pull_request