gaplint-92 feat: Add left-right derangement property #47

Sign in to view logs

Summary
Jobs
- gaplint
Run details
- Usage
- Workflow file

Triggered via pull request October 13, 2024 20:44

limakzi

opened #92

feature/add-left-right-deranged-property

Status Success

Total duration 24s

Artifacts –

pull-request-code-gaplint.yaml

on: pull_request