Skip to content
Auto approve

Fix support for ADT with unused type parameters #2423

Sign in to view logs

Fix support for ADT with unused type parameters

Fix support for ADT with unused type parameters #2423

Triggered via pull request November 18, 2023 11:16
@vigoovigoo
synchronize #554
Status Success
Total duration 12s
Artifacts –

auto-approve.yml

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