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

Sign in to view logs

Triggered via push August 31, 2024 12:30

buzden

master

Status Success

Total duration 3m 19s

Artifacts –

ci-super-linter.yml

on: push