Skip to content
CI

Merge pull request #7550 from eed3si9n/wip/dotty_plugin #2301

Sign in to view logs

Merge pull request #7550 from eed3si9n/wip/dotty_plugin

Merge pull request #7550 from eed3si9n/wip/dotty_plugin #2301

Triggered via push May 5, 2024 06:31
@eed3si9need3si9n
pushed 542f11b
1.10.x
Status Success
Total duration 13m 34s
Artifacts –

ci.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in