1
0
Fork
You've already forked cantrip
0
Search syntax
assignee:<username> Filter by assigned user
author:<username> Filter by the author
is:all All
is:closed Closed
is:open Open
mentions:<username> Filter by mentioned user
modified:[>|<]<date> Filter by last modified date
review:<username> Filter by user who reviewed
sort:<by>:[asc|desc] Sort by: created|comments|updated|deadline
New pull request
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
robida
docs: more examples for segments
All checks were successful
Publish Docs / docs (pull_request) Successful in 1m6s
#50 by robida was merged 2026年05月02日 04:39:53 +02:00
feat: improve segments and document
All checks were successful
Publish Docs / docs (pull_request) Successful in 1m32s
#49 by robida was merged 2026年05月02日 01:29:25 +02:00
Improve types
All checks were successful
Publish Docs / docs (pull_request) Successful in 1m19s
#48 by robida was merged 2026年04月30日 03:34:59 +02:00
docs: diagrams
All checks were successful
Publish Docs / docs (pull_request) Successful in 45s
#47 by robida was merged 2026年04月29日 22:29:31 +02:00
docs: derived metrics
All checks were successful
Publish Docs / docs (pull_request) Successful in 45s
#46 by robida was merged 2026年04月28日 21:49:38 +02:00
feat: use VIEW schema
All checks were successful
Publish Docs / docs (pull_request) Successful in 50s
#45 by robida was merged 2026年04月28日 19:29:02 +02:00
docs: annotation & enrichment docs
All checks were successful
Publish Docs / docs (pull_request) Successful in 58s
#44 by robida was merged 2026年04月28日 15:00:55 +02:00
feat: run docs only when needed
All checks were successful
Publish Docs / docs (pull_request) Successful in 47s
#43 by robida was merged 2026年04月26日 22:21:37 +02:00
#42 by robida was merged 2026年04月26日 22:13:16 +02:00
#41 by robida was merged 2026年04月26日 22:09:06 +02:00
#40 by robida was merged 2026年04月26日 22:06:34 +02:00
#39 by robida was merged 2026年04月24日 17:43:08 +02:00
#38 by robida was merged 2026年04月24日 15:49:01 +02:00
#37 by robida was merged 2026年04月24日 02:02:41 +02:00
#36 by robida was merged 2026年04月23日 23:05:51 +02:00
#35 by robida was merged 2026年04月23日 04:39:01 +02:00
#34 by robida was merged 2026年04月23日 04:30:31 +02:00
#33 by robida was merged 2026年04月23日 03:18:13 +02:00
#32 by robida was merged 2026年04月21日 17:31:40 +02:00
#31 by robida was merged 2026年04月20日 21:43:13 +02:00
#30 by robida was merged 2026年04月20日 05:02:58 +02:00
#29 by robida was merged 2026年04月20日 00:22:49 +02:00
#28 by robida was merged 2026年04月19日 20:58:52 +02:00
#27 by robida was merged 2026年04月18日 23:16:29 +02:00
#26 by robida was merged 2026年04月18日 20:47:38 +02:00