2023-09-03T07:35:53Z - 2023-10-03T07:35:53Z

Period: 1 month

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

Overview

11 Active Pull Requests

5 Active Issues

10
Merged Pull Requests 1
Proposed Pull Request 4
Closed Issues 1
New Issue

Excluding merges, 2 authors have pushed 3 commits to main and 31 commits to all branches. On main, 5 files have changed and there have been 15 additions and 8 deletions.

10 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

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

1 Issue created by 1 user

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

1 Unresolved Conversation

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

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