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

Leonidas-from-XIV / dune / 49

Builds Branch Commit Type Ran Committer Via Coverage
49 source-fetch Update to newest OPAM version with vendoring fixes + SWHID push 14 Mar 2023 11:35AM UTC Marek Kubica github
41.93
48 source-fetch Add vendored copy of OPAM push 13 Mar 2023 04:05PM UTC Marek Kubica github
41.13
47 source-fetch Add vendored copy of OPAM push 13 Mar 2023 03:01PM UTC Marek Kubica github
41.13
46 source-fetch Initial support for vendoring OPAM push 10 Mar 2023 01:53PM UTC Marek Kubica github
41.13
45 source-fetch Use Dune_util.Log push 10 Mar 2023 11:43AM UTC Marek Kubica github
41.14
44 source-fetch Add small test to see it execute properly push 09 Mar 2023 03:08PM UTC Marek Kubica github
41.14
43 multiple-license-doc Merge branch 'main' into multiple-license-doc push 08 Mar 2023 03:13PM UTC GitHub github
40.78
42 source-fetch Redirect stdout/stderr to files and read them afterwards push 06 Mar 2023 01:41PM UTC Marek Kubica github
41.13
40 source-fetch Use revised API of OPAM accessors push 24 Feb 2023 03:22PM UTC Marek Kubica github
41.13
38 add-flags-field Require at least one flag push 22 Feb 2023 03:01PM UTC Marek Kubica github
41.06
28 fix-missing-doc-paren Fix missing parenthesis in docs push 13 Dec 2022 02:49PM UTC Marek Kubica github
39.8
27 dune-release-url Update URL to dune-release push 13 Dec 2022 02:48PM UTC Marek Kubica github
39.8
26 dune-release-url Update URL to dune-release push 13 Dec 2022 11:53AM UTC Marek Kubica github
39.8
25 fix-missing-doc-paren Fix missing parenthesis in docs push 13 Dec 2022 11:50AM UTC Marek Kubica github
39.8
  • ← 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