rocq-community/templates

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Activelast commit Mar 19, 2026
License
Public domain

Pinned Snippet

workflow.ymlSHA-pinned
uses: rocq-community/templates@4d8b1d0a896ededd938d0426368c0bce33bfb470 # no releases — HEAD as of 2026-07-11

tags can be moved; commit SHAs can't. why a SHA?

Inputs

inputs not available yet

Outputs

outputs not available yet