Issues

• Rust lanes: confirm Renovate's cargo and rust-toolchain managers on the first Rust repository

  farcloser/limen#540 · Filter by author closer-claudio opened on Oct 30, 2026
  1

• limen-vet: ship it as a tool directive and run it in every Go repository's lint lane

  farcloser/limen#516 · Filter by author closer-claudio opened on Oct 24, 2026

• limen-vet: complete the fsaccess sink table, read directives from comments, tell the standard library by module

  farcloser/limen#515 · Filter by author closer-claudio opened on Oct 24, 2026

• testing: the spec-driven proposals left undecided (drift detectors, spec review policy, suite measurement, the experiment)

  farcloser/limen#511 · Filter by author closer-claudio opened on Oct 24, 2026

• github: the checks the design catalog lists and the code does not have

  farcloser/limen#508 · Filter by author closer-claudio opened on Oct 24, 2026

• github: phase 4, the scheduled drift audit

  farcloser/limen#507 · Filter by author closer-claudio opened on Oct 24, 2026

• lint go: a published schema for .lint-go.yaml

  farcloser/limen#506 · Filter by author closer-claudio opened on Oct 24, 2026

• tooling: a pinned git for the toolset, or the decision not to have one

  farcloser/limen#504 · Filter by author closer-claudio opened on Oct 24, 2026

• windows-11-arm: the revisit triggers for the MSYS2 bash deaths

  farcloser/limen#503 · Filter by author closer-claudio opened on Oct 24, 2026

• testing: a quint recipe once a repository has a merged spec

  farcloser/limen#501 · Filter by author closer-claudio opened on Oct 24, 2026

• tooling: Quint's Rust evaluator downloads at run time, unpinned

  farcloser/limen#500 · Filter by author closer-claudio opened on Oct 24, 2026

• limen signers add|retire and limen github signers rollout are not built

  enhancement
  farcloser/limen#489 · Filter by author closer-claudio opened on Oct 24, 2026

• A limen release does not raise per-project tool pins

  question
  farcloser/limen#487 · Filter by author closer-claudio opened on Oct 24, 2026

• Renovate bumps of blob inputs arrive without the blob

  enhancement
  farcloser/limen#486 · Filter by author closer-claudio opened on Oct 24, 2026

• gotools: drop the retiredGoTools entries once no repository carries the upstream directives

  farcloser/limen#480 · Filter by author closer-claudio opened on Oct 24, 2026

• To consider: unexported embedded baseline vars behind accessors

  farcloser/limen#261 · Filter by author closer-claudio opened on Oct 6, 2026

• Dependency Dashboard

  farcloser/limen#9 · Filter by author renovate opened on Jul 7, 2026