Skip to content

Merge pull request #74 from proofgeist/09-19-template_docs #99

Merge pull request #74 from proofgeist/09-19-template_docs

Merge pull request #74 from proofgeist/09-19-template_docs #99

Triggered via push September 26, 2025 16:49
Status Success
Total duration 2m 53s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 notice
build
{ "workflowData": { "owner": "proofgeist", "repo": "proofkit", "sha": "7a263a10a698b76d1cbb06d5bf4181db5ced2f93", "ref": "main" }, "key": "RedU2TOGlO", "runId": 18043986791, "webhookDebug": { "action": "requested", "head_branch": "main", "head_repository_full_name": "proofgeist/proofkit", "full_name": "proofgeist/proofkit", "isPullRequest": false, "prNumber": null, "prNumberType": "object", "isNewPullRequest": false, "isOldPullRequest": false, "prKey": "proofgeist/proofkit:main", "oldPrDataHash": "pGAen7TJUk", "lookupKey": "pGAen7TJUk", "data": { "owner": "proofgeist", "repo": "proofkit", "sha": "7a263a10a698b76d1cbb06d5bf4181db5ced2f93", "ref": "main" } } }