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

Leonidas-from-XIV / dune / 204

Builds Branch Commit Type Ran Committer Via Coverage
204 main test: add repro for #9024 (#9120) Signed-off-by: Etienne Millon <me@emillon.org> push 15 Nov 2023 11:08AM UTC web-flow github
7.18
203 main refactor(engine): optimize sandbox config storage (#8035) We store a sandbox configuration set for every single action we create. For a large build, this can add up. Our old representation was taking 6 words to represent this. This PR change... push 14 Nov 2023 01:54PM UTC web-flow github
7.19
202 main test: make source copying test more resilient (#9161) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 13 Nov 2023 03:43PM UTC web-flow github
7.17
201 main Merge pull request #9123 from emillon/doc-cc-lowercase doc: cc and cxx are lowercase push 09 Nov 2023 04:03PM UTC web-flow github
7.17
200 main fix: properly ignore bigarray if it shouldn't exist (#9076) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 03 Nov 2023 09:56AM UTC web-flow github
7.16
199 main chore: reformat sandboxing tests (#9042) push 30 Oct 2023 02:22PM UTC GitHub github
7.16
198 main feature(pkg): Single repo source (#8950) * feature(pkg): Single repo source Signed-off-by: Marek Kubica <marek@tarides.com> push 27 Oct 2023 09:04AM UTC web-flow github
7.16
197 main pkg: store solver variables in lockdir metadata (#8973) Adds a field to lockdir metadata which holds the values of variables which were evaluated while solving dependencies. Signed-off-by: Stephen Sherratt <stephen@sherra.tt> push 26 Oct 2023 09:38AM UTC web-flow github
7.19
196 main test: use a cached file in a directory target (#8984) push 24 Oct 2023 01:33PM UTC GitHub github
7.19
195 main Reduce allocations while loading rules (#8978) push 23 Oct 2023 02:16PM UTC GitHub github
7.2
194 main feature(pkg): thread monad through 0install solver (#8962) push 20 Oct 2023 04:54PM UTC GitHub github
7.19
193 main test(pkg): cycles in opam repo (#8823) The solver does not check for cyles. This might lead to an invalid build plan so something to keep in mind. We also add a test for a situation where there is a cycle in the repo, but an alternative vali... push 18 Oct 2023 02:06PM UTC web-flow github
7.2
191 main Merge pull request #8831 from Leonidas-from-XIV/repositories-ordered-set fix(pkg): Make the repos use `Ordered_set_lang` push 06 Oct 2023 01:20PM UTC web-flow github
7.22
190 main test(pkg): make sure that substitute/patch do not modify sources (#8864) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 06 Oct 2023 08:42AM UTC web-flow github
7.23
189 main chore(pkg): stop using Fmt (#8842) Signed-off-by: Ali Caglayan <alizter@gmail.com> push 05 Oct 2023 10:08AM UTC web-flow github
7.23
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 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