doc: report project metadata update time (#286)

This commit is contained in:
Michael McLoughlin
2022-05-08 17:34:16 -07:00
committed by GitHub
parent bdaad2bb98
commit 88c126385a
5 changed files with 43 additions and 14 deletions

View File

@@ -103,7 +103,10 @@ Implementations of full algorithms:
## Adopters
Popular projects using `avo`:
Popular projects[^projects] using `avo`:
[^projects]: Projects drawn from the `avo` third-party test suite. Popularity
estimated from Github star count collected on {{ .Suite.MetadataLastUpdate.Format "Jan 2, 2006" }}.
{{ range .Suite.Projects.Top 10 -}}
{{ if lt .Metadata.Stars 100 }}{{break}}{{ end -}}