2023-04-03T07:57:33Z - 2023-10-03T07:57:33Z

Period: 6 months

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

12 Active Pull Requests

7 Active Issues

11
Merged Pull Requests 1
Proposed Pull Request 4
Closed Issues 3
New Issues

Excluding merges, 2 authors have pushed 7 commits to main and 37 commits to all branches. On main, 10 files have changed and there have been 33 additions and 17 deletions.

11 Pull requests merged by 2 users

Merged #176 only show active jobs, fixes #162 7 days ago

Merged #177 Fix migrate-2023-09-11 by dropping hte index first 2 weeks ago

Merged #175 further CI fixes: require alcotest 1.2.0 (for check'), disable formatting (no .ocamlformat) 2 weeks ago

Merged #173 fix CI 3 weeks ago

Merged #168 regard a successful build only these with a main_artifact present 3 weeks ago

Merged #170 verify_cache_dir: only consider non-failed builds (main_binary IS NOT NULL) 3 weeks ago

Merged #172 builder-web is compatible with dream.1.0.0~alpha5 3 weeks ago

Merged #167 replace omd with cmarkit 3 weeks ago

Merged #171 roburio -> robur-coop 3 weeks ago

Merged #169 Remove the /job and /job/:job/build "redirect parent" parts from the router 4 weeks ago

Merged #166 Fix build of builder-web with more recent packages: 1 month ago

1 Pull request proposed by 1 user

Proposed #174 WIP: content addressing 3 weeks ago

4 Issues closed from 3 users

Closed #162 Feature request: hide jobs that don't have active builds 7 days ago

Closed #85 What is a successful build? 3 weeks ago

Closed #138 builder-db verify-cache-dir: doesn't exclude failed builds 3 weeks ago

Closed #164 Mapping job-readme markdown title-levels + switch to `cmarkit` 3 weeks ago

3 Issues created by 2 users

Opened #163 Discussion of the performance-testing system design 5 months ago

Opened #165 UX: Readmes can be long - fold them so builds are visible 4 months ago

Opened #178 builder-db command to remove a platform 6 days ago

2 Unresolved Conversations

These recently changed issues and pull requests have not been resolved yet.

Open #157 feature request: vacuum old artifacts 2 weeks ago

Open #155 Debian versioning scheme 4 months ago