Search results

CI: For atomic changes, update status on all participating repos when running CI on any of them.

Status: Open.

#78 In SkyLabsAI/workspace;

· Janno opened on Nov 17, 2025

CI/tooling: worktree support: improve handling of upstreams

enhancementNew feature or requestNew feature or request

Status: Open.

#72 In SkyLabsAI/workspace;

· pgiarrusso-sl opened on Nov 15, 2025

Restore detailed performance reports (HTML pages)

Status: Open.

#54 In SkyLabsAI/workspace;

· rlepigre-skylabs-ai opened on Nov 10, 2025

TRIAGE: [onboarding] streamline LLVM/clang environment setup

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#50 In SkyLabsAI/workspace;

· jhaag-skylabs-ai opened on Nov 5, 2025

best-effort prevention of proprietary code indexing by coding agents

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Bug

#49 In SkyLabsAI/workspace;

· jhaag-skylabs-ai opened on Nov 5, 2025

Reject Rocq commands without locality specifiers

enhancementNew feature or requestNew feature or request

topic:ci

Status: Open.

Feature

#48 In SkyLabsAI/workspace;

· pgiarrusso-sl opened on Nov 5, 2025

Allow running CI with changed external dependencies

Status: Open.

#37 In SkyLabsAI/workspace;

· rlepigre-skylabs-ai opened on Nov 3, 2025

Enhancement: Change <code>dune</code> default alias

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In SkyLabsAI/workspace;

· pgiarrusso-sl opened on Oct 30, 2025

Company-wide adoption of the latest python version compatible with our 3rd party dependencies

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Feature

#3 In SkyLabsAI/workspace;

· jhaag-skylabs-ai opened on Oct 22, 2025