arthur742ramos/IsabelleBlueprint
Validate Isabelle/HOL blueprint projects and publish report metrics.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| project_dir | Directory containing the blueprint project. | — | . |
| python-version | Python version used to run IsabelleBlueprint. | — | 3.12 |
| isabelle-blueprint-version | Optional PyPI version to install instead of the action checkout. | — | "" |
| run-check | Run `isabelle-blueprint check`. | — | true |
| run-lint | Run `isabelle-blueprint lint --strict`. | — | false |
| run-gate | Run the canonical `isabelle-blueprint gate` CI quality gate. | — | false |
| run-graph | Run `isabelle-blueprint graph`. | — | true |
| run-web | Run `isabelle-blueprint web`. | — | false |
| run-tasks | Run `isabelle-blueprint tasks`. | — | true |
| run-report | Run `isabelle-blueprint report` and expose metrics as action outputs. | — | true |
| run-comment | Run `isabelle-blueprint comment`. | — | false |
Outputs
| name | description |
|---|---|
| coverage_percent | Percent of formal targets proved (proved / formal targets). |
| node_count | Number of blueprint nodes. |
| formal_target_count | Number of formal targets tracked by the report. |
| proved_count | Number of targets verified as proved. |
| found_count | Number of targets found in Isabelle. |
| problem_count | Number of report problems. |
| has_cycles | Whether the blueprint dependency graph has cycles. |