Run pre-commit and in-place update PR on push

feat(Order/PartialSups): add exists_partialSups_eq #18

Sign in to view logs

Triggered via push January 16, 2026 03:04

lua-vr

exists_partialSups_eq

Status Success

Total duration 25s

Artifacts –

pre-commit.yml

on: push