CodeQL

The leading-particle claim takes its group, not the rest of the name (#390, #365) #370

Sign in to view logs

Triggered via pull request August 17, 2026 05:19

derek73

opened #391

fix/390-fold-takes-particle-group

Status Success

Total duration 1m 24s

Artifacts –

codeql.yml

on: pull_request