fix the documentation of `IsPGroup` #1917

Sign in to view logs

Summary
Jobs
- gaplint
Run details
- Usage
- Workflow file

Triggered via push August 30, 2024 09:27

master

Status Success

Total duration 41s

Artifacts –

lint.yml

on: push