Skip to content

Fix support for ADT with unused type parameters #2248

Fix support for ADT with unused type parameters

Fix support for ADT with unused type parameters #2248

Triggered via pull request August 12, 2023 07:00
@vigoovigoo
synchronize #554
Status Success
Total duration 20m 45s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

auto-approve.yml

on: pull_request_target
auto-approve
2s
auto-approve
Fit to window
Zoom out
Zoom in