[ derive ] Support printing derived gens with Idris representation #742

Sign in to view logs

Triggered via pull request August 31, 2024 10:45

buzden

opened #190

print-derivator-in-idris-too

Status Success

Total duration 3m 13s

Artifacts –

ci-super-linter.yml

on: pull_request