Files
Miguel Angel Simon Sierra d378a39088 ci: run the effect gate in a required check
`Lint` is not required by the branch ruleset, so a gate that only runs there cannot block a merge.
The required `Typecheck` context runs it too. No ruleset change needed.
2026-09-02 20:14:28 -04:00
..