gaplint

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

Sign in to view logs

Summary
Jobs
- gaplint
Run details
- Usage
- Workflow file

Triggered via pull request October 13, 2024 20:48

limakzi

synchronize #92

feature/add-left-right-deranged-property

Status Success

Total duration 22s

Artifacts –

pull-request-code-gaplint.yaml

on: pull_request