refactor Set->Array elaboration #316

Sign in to view logs

Summary
Jobs
- hlint-3.8
Run details
- Usage
- Workflow file

Triggered via pull request July 9, 2024 12:42

clayrat

synchronize #696

clayrat:ple-theories

Status Success

Total duration 34s

Artifacts –

hlint.yml

on: pull_request