• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

panglesd / odoc / 727

Builds Branch Commit Type Ran Committer Via Coverage
727 sidebar-proto Sidebar: factor some code according to review Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 12:55PM UTC panglesd github
71.94
726 search-index-buid-system-friendly do not global open Cmd_ouput push 03 Jul 2024 12:48PM UTC EmileTrotignon github
71.55
725 sidebar-proto Sidebar: factor document generation for sidebar page/library entries Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 12:43PM UTC panglesd github
71.95
724 search-index-buid-system-friendly factor paths push 03 Jul 2024 12:41PM UTC EmileTrotignon github
71.55
723 sidebar-proto Sidebar: simplify and factor generation of sidebar document Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 08:17AM UTC panglesd github
71.96
722 sidebar-proto Sidebar: documented interface for the module generating sidebars Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 07:47AM UTC panglesd github
71.95
721 sidebar-proto Sidebar review: cosmetic improvement Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 07:29AM UTC panglesd github
71.95
720 sidebar-proto Driver: Factor creation of -L and -P Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 07:28AM UTC panglesd github
71.95
719 sidebar-proto Sidebar review: name argument in driver when not explicit by type Signed-off-by: Paul-Elliot <peada@free.fr> push 03 Jul 2024 07:16AM UTC panglesd github
71.95
718 sidebar-proto promote test after changed layout for sidebars push 02 Jul 2024 10:01AM UTC panglesd github
71.95
716 fix-breadcrumbs Fix breadcrumbs in page named index Signed-off-by: Paul-Elliot <peada@free.fr> push 17 Jun 2024 06:03AM UTC panglesd github
71.77
714 fix-parent-id Driver: Fix hierarchical pages being given wrong parent id Signed-off-by: Paul-Elliot <peada@free.fr> push 11 Jun 2024 11:02PM UTC panglesd github
71.77
713 offsite-proto-2 Driver: Fix hierarchical pages being given wrong parent id Signed-off-by: Paul-Elliot <peada@free.fr> push 11 Jun 2024 10:59PM UTC panglesd github
71.24
712 search-index-buid-system-friendly update CHANGES.md push 11 Jun 2024 10:26AM UTC EmileTrotignon github
71.55
711 search-index-buid-system-friendly update CHANGES.md push 11 Jun 2024 10:26AM UTC EmileTrotignon github
71.55
  • ← Previous
  • 1
  • 2
  • …
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • …
  • 51
  • 52
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc