Skip to content
Instant Sync

docs: author the proof-needs inventory (P-/F-/K- obligation series) (… #527

Sign in to view logs

docs: author the proof-needs inventory (P-/F-/K- obligation series) (…

docs: author the proof-needs inventory (P-/F-/K- obligation series) (… #527

Triggered via push June 21, 2026 00:10
@hyperpolymathhyperpolymath
pushed eae71fd
main
Status Startup failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Error
The action peter-evans/repository-dispatch@28959ce8df70de7be546dd1250a005dd32156697 is not allowed in hyperpolymath/affinescript because all actions must be from a repository owned by hyperpolymath, created by GitHub, or verified in the GitHub Marketplace. All actions must also be pinned to a full-length commit SHA.