2022-10-03T06:28:15Z - 2023-10-03T06:28:15Z

Period: 1 year

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

Overview

22 Active Pull Requests

19 Active Issues

19
Merged Pull Requests 3
Proposed Pull Requests 9
Closed Issues 10
New Issues

Excluding merges, 3 authors have pushed 11 commits to main and 86 commits to all branches. On main, 12 files have changed and there have been 133 additions and 62 deletions.

19 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 3 weeks ago

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

Merged #136 Visualization script enhancements 7 months ago

Merged #160 adapt to omd 2.0.0 alpha3, which adds a Table constructor 7 months ago

Merged #148 /failed-builds: special case no failed builds 11 months ago

Merged #147 compare view: remove empty headings (starting with 0), restructure code 11 months ago

Merged #146 Compute difference in x-opam-monorepo-duniverse-dirs and display it in compare 11 months ago

Merged #144 Classify a build as monitoring build if mirage-monitoring is in the dependency cone 11 months ago

Merged #145 Also add charset=utf-8 for console and script 11 months ago

Merged #143 add charset to various mime types 11 months ago

3 Pull requests proposed by 3 users

Proposed #152 WIP: Performance-test scripts: upload-hook and plot 10 months ago

Proposed #161 size-time-graphs 7 months ago

Proposed #174 WIP: content addressing 3 weeks ago

9 Issues closed from 4 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

Closed #151 feature: use a tag inside the OPAM file to notice that we want to build an unikernel 7 months ago

Closed #142 Failed build page says 'view the next 10 failed builds here' even when there are no failed builds 11 months ago

Closed #40 notification of newly available builds 11 months ago

Closed #141 MirageOS 4 - the diff / compare no longer works nicely 11 months ago

Closed #140 MirageOS 4 builds the "monitoring" hack no longer works 11 months ago

10 Issues created by 4 users

Opened #149 Installation trouble 11 months ago

Opened #150 feature request: release tags 11 months ago

Opened #153 manually deleted some rows from the database on builds.robur.coop 9 months ago

Opened #155 Debian versioning scheme 9 months ago

Opened #156 Redirect logic flawed 9 months ago

Opened #157 feature request: vacuum old artifacts 8 months ago

Opened #158 Feature request: bill of materials view 7 months ago

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 #125 [WIP]: Use conan instead of magic-mime package 11 months ago

Open #133 Investigate RSS feeds for failed builds etc. 11 months ago