Leonidas-from-XIV's Repositories

Leonidas-from-XIV / odoc

71%
Build #108:   Deduplicate target name Signed-off-by: Marek Kubica <marek@tarides.com> on branch silent-build 1 day ago
silent-build: 71%
LAST BUILD BRANCH: silent-build
DEFAULT BRANCH: master

Leonidas-from-XIV / dune

%
Build #287:   Add pins of dune-project to Dyn representation (#11187) Signed-off-by: Marek Kubica <m... on branch main almost 2 years ago
main: 7%
LAST BUILD BRANCH: main
DEFAULT BRANCH: revdeps-leaf-pkgs

Leonidas-from-XIV / node-xml2js

98%
Build #415:   Merge 581b19a62d88f8a3c068b5a45f4542c2d6a495a5 into 1832e0b6b2de30a5e326d1cf21708cd3230... on branch master over 5 years ago
master: 98%
DEFAULT BRANCH: master