Skip to content

fix(experimental elaborator): Only call add_generics once #11377

fix(experimental elaborator): Only call add_generics once

fix(experimental elaborator): Only call add_generics once #11377

Triggered via pull request May 23, 2024 17:57
@jfecherjfecher
edited #5091
Status Success
Total duration 14s
Artifacts

pull-request-title.yml

on: pull_request_target
Validate PR title is Conventional Commit
5s
Validate PR title is Conventional Commit
Warn external contributors about force-pushing
0s
Warn external contributors about force-pushing
Fit to window
Zoom out
Zoom in